OpenAI一口气放出722篇AI数学手稿，数学界开始验收

动察 Beating AI 快讯，OpenAI 公开了一批由未发布内部前沿模型产出的数学结果，共 722 篇手稿，来自约 4000 个开放研究问题的评测。不少手稿围绕同一个核心结果展开，合并后对应 372 组相互关联的结果。

其中几项直接碰到了长期未解决的重要问题。模型给出了 Unique Games 猜想的证明；证明黎曼 ζ 函数在实部大于 7/8 的区域没有零点，被称为「准黎曼猜想」；还处理了 CM 阿贝尔簇上的有理 Hodge 猜想，以及 1940 年代以来悬而未决的自由群因子问题。其中 Unique Games、准黎曼和自由群因子等结果已经附上 Lean 形式化证明，可以由计算机检查证明过程。

不过，这批结果还不能全部当成定论。OpenAI 表示，不同结果的验证程度并不一致，没有形式化证明的部分仍可能存在错误。参与发布咨询的独立数学顾问组 AGMAI 也明确表示，它没有为这些结果背书。