OpenAI公开722篇AI数学手稿，多项结果进入数学界验证阶段

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

这批手稿中，有几项结果直接触及长期未解决的重要问题。公开信息显示，模型给出了 Unique Games 猜想的证明；证明黎曼 ζ 函数在实部大于 7/8 的区域没有零点，这一结果被称为「准黎曼猜想」；还处理了 CM 阿贝尔簇上的有理 Hodge 猜想，以及自 1940 年代以来悬而未决的自由群因子问题。

其中，Unique Games、准黎曼和自由群因子等结果已经附上 Lean 形式化证明，可由计算机检查证明过程。

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