OpenAI数学仓库新增两篇Lean形式化论文

2026年10月26日，OpenAI的 openai/math 仓库新增两篇带 Lean 形式化的论文。据 AGI Hunt 10月27日报道，其中一篇论文给出一个确定性算法，该算法在亚指数时间、多项式空间内精确计数固定宽度 CNF 公式的可满足赋值；报道称，在 3-SAT 情形下，这一结果即反驳指数时间假设（ETH）。目前公开信息仅涉及仓库新增论文及其形式化，尚未见对该结果的同行评审结论或外界回应，事件仍处早期阶段。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。