编辑优先级 67/100
OpenAI公开了由尚未发布的内部模型产出的722篇数学手稿，归为372组结果，并上传论文、源码和部分Lean证明。手稿涉及黎曼ζ函数无零点区域及霍奇猜想的特定情形等问题；仓库称各项结果核验进度不同，部分尚无Lean形式化证明。独立顾问组表示，参与提供建议不代表认可这些结果。
推荐理由：一次公开722篇、涵盖多个重大数学问题的手稿，但核验尚未完成；这批成果能否成立取决于后续同行检查。
← 返回事件实质进展 10月07日 08:41
STORY IN FOCUS
OpenAI公开722篇AI生成的数学手稿，证明仍待同行核验
OpenAI公开了由尚未发布的内部模型产出的722篇数学手稿，归为372组结果，并上传论文、源码和部分Lean证明。手稿涉及黎曼ζ函数无零点区域及霍奇猜想的特定情形等问题；仓库称各项结果核验进度不同，部分尚无Lean形式化证明。独立顾问组表示，参与提供建议不代表认可这些结果。
1 次进展2 篇报道2 个来源
事件进展
同一次发生的报道合为一个节点，后续进展单独记录。
OpenAI 发布722份AI生成的数学证明
一则帖子称，OpenAI 发布了722份AI生成的数学证明，相关论文涉及372项数学成果。其中一项矩阵乘法结果将两个 n×n 矩阵相乘的已证明复杂度上界从约 n^2.371177 降至约 n^2.25，并附有 Lean 形式化证明；这仍是理论界限，尚不能直接用于加速实际 GPU 工作负载。
查看来源报道 · 2 个来源 · 2 篇报道
- Rohan Paul (@rohanpaul_ai) · OpenAI 发布722份AI生成的数学证明
- 量子位 AI 报道 · OpenAI公开722篇AI生成的数学手稿，证明仍待同行核验
全部报道 · 2
按来源发布时间排列，保留各报道的收藏与反馈。
编辑优先级 54/100
一则帖子称，OpenAI 发布了722份AI生成的数学证明，相关论文涉及372项数学成果。其中一项矩阵乘法结果将两个 n×n 矩阵相乘的已证明复杂度上界从约 n^2.371177 降至约 n^2.25，并附有 Lean 形式化证明；这仍是理论界限，尚不能直接用于加速实际 GPU 工作负载。
同一事件，精选展示《OpenAI公开722篇AI生成的数学手稿，证明仍待同行核验》