OpenAI 一日放出 722 篇数学论文,称 63% 公开难题被完整解决

gleech · x · 2026-10-13

Paradigm 3 发布报告《On mass-produced math》,分析 OpenAI 一次性发布的数百篇数学预印本(被称为「Proof Dump」),这可能是数学史上最疯狂的一天:

规模:OpenAI 发布 722 篇论文,针对 372 个数学公开难题,自称 63% 被完整解决,另有 27% 解决了特殊情形;其中包括 AI 评出的「top 500」公开难题中的 90 个,至少 3 个属「菲尔兹奖级别」的理论难题。
可信度:42% 附带完整 Lean 形式化证书,但尚无人确认形式化命题与原始命题一致;已有 3 个证明被撤回、14 个需修复(在前沿数学中属正常)。
成本:每个结果平均只用约「3 小时」ChatGPT Pro 算力(粗估 1–20M tokens、$100–1000),排除了此前万级 agent 集群的做法;绝大多数是一般性证明,仅 21% 是反例。
疑点:只公开了 10 个结果的 prompt 和「推理轨迹」摘要,4000 个问题中解出 372 个,解题率也低于此前宣布的 45%。

作者感叹:五年前 AI 还解不好小学应用题。

「漫话AGI」频道最新