OpenAI 未公开模型解出 10 道数学难题，成本仅 2000 美元
docdavkitty · reddit · 2026-08-03
OpenAI 透露其未发布的模型 Astra 在数学和理论计算机科学领域取得了 10 项新突破，解决了悬而未决至少十年的开放性问题。其中最引人注目的是首次明确构造了一个非 sofic 群（该问题自 1999 年以来一直未被解决）。
核心亮点：
- 自带验证：每个推导结果都在 GitHub 上附带了 Lean 4 证书。这意味着正确性可以直接由编译器验证，而无需依赖实验室的信誉或传统的同行评审。
- 成本极低：总推理成本按 API 费率计算仅约 2000 美元。
此举紧随莱顿宣言（警告 AI 实验室绕过同行评审）之后，提供了一种新的研究范式：AI 生成的产物自身携带可验证机制。
所属事件:OpenAI称内部模型2000美元解决10项数学难题引争议(15 条相关)→
「模型」频道最新
- Every 实测 Gemini 4 Carbon:编码更强但判断力不及 Fable 5.2 — every · 2026-11-14
- 网传 Gemini 4 Krypton 性能逼近 Opus 5.5，谷歌或有大动作 — feblet · 2026-11-14
- Nathan Lambert:黄仁勋辞职重创开源模型生态,资金支持恐枯竭 — natolambert · 2026-11-14
- 爆料称 Google krypton 模型下周发布，Fable 5.2 水平但更便宜 — imjustnewatai · 2026-11-14
- OpenAI 第二次解散机器人团队，研究员转岗其他团队 — The Decoder · 2026-11-14
- 用户抱怨 Sol 6.1 近期明显变笨，低级错误频出被迫换模型 — graham_dev · 2026-11-14