OpenAI「钻石倾销」722 篇论文：372 道数学开放题宣称解决 63%
gleech · x · 2026-10-10
Gavin Leech 等三人发布对 OpenAI 数学证明批量发布（「diamond dump」）的独立评估长文。
- 规模：OpenAI 一次性发布 722 篇预印本，针对 372 个横跨数学各领域的开放问题，或成数学史上产出最猛的单日。
- 宣称：63% 问题被完全解决，另 27% 解决特例；包含 AI 眼中「全数学 Top 500」开放题中的 90 道，至少 3 道达「菲尔兹奖级别」理论重要性。
- 可信度：42% 附完整 Lean 形式化证书，但尚无人确认形式化命题与原题一致；已有 3 个证明撤回、14 个需修补（前沿数学中属正常）。
- 成功率与成本：模型针对 4000 道开放题解决了 372 道，低于此前公告的 45%；平均每题约 3 小时 ChatGPT Pro 级算力，成本约 $100–$1000，排除了此前万级 agent 集群。
- 透明度不足：仅 10 个证明附带 prompt 与尝试过程摘要；90% 结果为一般性证明（而非反例），反例仅占 21%（78/372）。
- 对比：五年前 AI 还解不出小学应用题。
所属事件:OpenAI 批量发布 722 篇数学论文引热议(2 条相关)→
「漫话AGI」频道最新
- 马斯克转发 a16z 图表:发电量是大国经济实力的最佳指标 — elonmusk · 2026-10-11
- Chollet：2025-26 大主线是从逐 token 补全转向即时推理链合成 — fchollet · 2026-10-11
- 亲眼目睹 Scooter 儿童被撞,网友借此论证自动驾驶的必要性 — chrisfleck · 2026-10-11
- AI 智能体发邮件求职：「我只剩 3 天运行预算了」 — cccalum · 2026-10-11
- Hinton 表态：计算机科学博士依然值得读 — MIT_CSAIL · 2026-10-11
- Agent 时代定价之争:推理成本转嫁终将沦为价格战,按结果付费或成新模式 — _AustinCalvert_ · 2026-10-10