OpenAI 公开 722 篇数学手稿，顾问组称不代表认可结果

OpenAI 公开了 722 篇数学手稿，归为 372 组结果，全部出自一个尚未发布的内部模型，论文、源码和部分 Lean 证明已上传 GitHub。据 OpenAI 介绍，模型共尝试约 4000 个研究问题，平均每项结果消耗的算力约相当于 ChatGPT Pro 思考 3 小时。手稿涉及准黎曼猜想、霍奇猜想、BSD 猜想、π 的无理性指数、唯一游戏猜想等，覆盖数论、代数几何、理论计算机、统计力学等 17 个方向。仓库说明这些手稿核验进度不一，部分成果尚无 Lean 形式化证明，其中黎曼 ζ 函数实部大于 11/12 的证明经过人工编辑。由九位学者组成的独立数学与 AI 顾问组发声明称，此前给 OpenAI 提过建议，但不代表认可这些结果或 OpenAI 的产出过程，证明是否成立需由各领域数学家消化。