据报道，OpenAI公布了一批由尚未发布的前沿模型生成的数学问题解答，共涉及722份文稿、372组相关成果。独立顾问团AGMAI称，其中包括对“数百个”开放问题的解答。
同一次发生的报道合为一个节点，后续进展单独记录。
据报道，OpenAI公布了一批由尚未发布的前沿模型生成的数学问题解答，共涉及722份文稿、372组相关成果。独立顾问团AGMAI称，其中包括对“数百个”开放问题的解答。
按来源发布时间排列，保留各报道的收藏与反馈。
OpenAI公开了由尚未发布的内部模型产出的722篇数学手稿，归为372组结果，并上传论文、源码和部分Lean证明。手稿涉及黎曼ζ函数无零点区域及霍奇猜想的特定情形等问题；仓库称各项结果核验进度不同，部分尚无Lean形式化证明。独立顾问组表示，参与提供建议不代表认可这些结果。
一则帖子称，OpenAI 发布了722份AI生成的数学证明，相关论文涉及372项数学成果。其中一项矩阵乘法结果将两个 n×n 矩阵相乘的已证明复杂度上界从约 n^2.371177 降至约 n^2.25，并附有 Lean 形式化证明；这仍是理论界限，尚不能直接用于加速实际 GPU 工作负载。
同一事件，精选展示《OpenAI公布未发布模型生成的数学研究成果》这批文件包含722份手稿，涵盖372个结果家族；咨询小组AGMAI称，其中有对“数百个”未解决问题的解答。发布资料还包括部分推理摘要和算力消耗估算，但数学家仍需评估这些成果，完整影响尚不明确。
据报道，OpenAI公布了一批由尚未发布的前沿模型生成的数学问题解答，共涉及722份文稿、372组相关成果。独立顾问团AGMAI称，其中包括对“数百个”开放问题的解答。