OpenAI 未发布模型解破 10 大数学难题，推理成本仅 2000 美元
Mobile_Distance_9598 · reddit · 2026-08-03
OpenAI 尚未发布的 Astra 模型成功解决了 10 个长期悬而未决的数学和理论计算机科学难题，且推理成本仅约 2000 美元。所有证明均使用 Lean 4 形式化并附带机器可验证证书，已在 GitHub 公开。
成本与意义
这些成果横跨六个数学领域，包括推翻 Connes 刚性猜想等。曼彻斯特大学数学家 Thomas Bloom 评价其为“重大新闻”，意义甚至超过了 5 月份的单位距离反例。
争议与局限
- 隐藏成本：2000 美元仅覆盖推理阶段，未计入模型训练、研究人员薪资以及失败尝试的成本。但作者反驳称，训练是固定成本，随着尝试次数增加，单次边际成本正趋近于零。
- 学术审查：Lean 证书仅验证形式正确性，无法保证数学意义的重要性。目前这些结果尚未经过同行评审，且 Astra 模型本身也尚未发布。
所属事件:传 OpenAI 未公开模型解破十大数学难题引发争议(4 条相关)→
「模型」频道最新
- EpochAI 更新榜单：Claude Fable 5 长程任务得分远超 GPT-5.6 — Jsevillamol · 2026-08-04
- 传 OpenAI 将发 Astra 模型，主打多智能体协同 — thesaraharminta · 2026-08-04
- 实测 Qwen3.8-Max:开源模型在 Agent 任务已逼近闭源前沿 — dair_ai · 2026-08-04
- 推测 Kimi K3 达 2.8T 参数，或由更小的 Opus 蒸馏 — gabriberton · 2026-08-04
- 专家24小时复现OpenAI数学成果,Astra被指非质变 — Gary Marcus · 2026-08-04
- 实测吐槽：Claude 3.5 Sonnet 与 Opus 做幻灯片效果极差 — nathanbenaich · 2026-08-04