OpenAI公布未发布模型生成的数学研究成果

据报道，OpenAI公布了一批由尚未发布的前沿模型生成的数学问题解答，共涉及722份文稿、372组相关成果。独立顾问团AGMAI称，其中包括对“数百个”开放问题的解答。

1 次进展4 篇报道4 个来源

事件进展 1

2026-10-07 07:26 · 原文发布时间 · UTC+8

查看来源报道 · 4 个来源 · 4 篇报道

全部报道 4

09:05

量子位 AI 报道同事件

OpenAI公开了由尚未发布的内部模型产出的722篇数学手稿，归为372组结果，并上传论文、源码和部分Lean证明。手稿涉及黎曼ζ函数无零点区域及霍奇猜想的特定情形等问题；仓库称各项结果核验进度不同，部分尚无Lean形式化证明。独立顾问组表示，参与提供建议不代表认可这些结果。

另外 3 家也报道了

推荐理由：一次公开722篇、涵盖多个重大数学问题的手稿，但核验尚未完成；这批成果能否成立取决于后续同行检查。

08:41

Rohan Paul (@rohanpaul_ai) 同事件

一则帖子称，OpenAI 发布了722份AI生成的数学证明，相关论文涉及372项数学成果。其中一项矩阵乘法结果将两个 n×n 矩阵相乘的已证明复杂度上界从约 n^2.371177 降至约 n^2.25，并附有 Lean 形式化证明；这仍是理论界限，尚不能直接用于加速实际 GPU 工作负载。

另外 3 家也报道了

07:42

IT之家科技新闻同事件

这批文件包含722份手稿，涵盖372个结果家族；咨询小组AGMAI称，其中有对“数百个”未解决问题的解答。发布资料还包括部分推理摘要和算力消耗估算，但数学家仍需评估这些成果，完整影响尚不明确。

另外 3 家也报道了

推荐理由：未发布模型产出的大规模数学研究材料已公开，数百道未解题的解答主张将接受数学界评估。

07:26

The Verge AI 报道精选

另外 3 家也报道了

推荐理由：这批成果的规模和对开放问题的解答值得关注；相关数字及解答范围仍需按报道和顾问团说法理解。