OpenAI公布内部模型372项数学结果

据2026年10月8日scottaaronson.blog报道，OpenAI于10月7日公布内部模型给出的372项数学结果。作者称其中包括Unique Games猜想的证明，部分附有Lean证书。该模型平均每题约用3小时GPT-Pro级算力，在约8000道长期未解问题上成功率约5%，并可能在未来一两个月向付费ChatGPT用户开放。作者写道这些证明几乎还无人读懂，数学与理论计算机科学研究者正抢着消化文稿。

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

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