OpenAI发布722篇数学论文：准黎曼猜想突破引争议，数学家呼吁开放模型

事件概述

OpenAI近日通过GitHub发布了722篇由其内部未发布模型产出的数学论文手稿。这些手稿被归类为372组成果，涉及多个长期未解的数学难题。OpenAI创始人Sam Altman表示这标志着“发现的新时代”，但同时也引发了数学界关于AI生成内容验证、引用规范及模型开放性的广泛争议。

核心信息

1. 重大课题进展

• 准黎曼猜想（Quasi-Riemann Hypothesis）： 论文宣称黎曼ζ函数在实部大于7/8的区域不存在零点。这一结论给出了一个宽度固定、无限延伸的“零点禁区”，远超此前渐进式进展。罗格斯大学教授Alex Kontorovich指出，若此结果由人类完成，足以获得菲尔兹奖，但完整的黎曼猜想仍未解决。
• 唯一博弈猜想（Unique Games Conjecture）： 论文宣称证明了该猜想，并据此界定了Max-Cut等问题的近似难度上限。若证明成立，在P≠NP的前提下，高效算法在最坏情况下的近似保证无法突破相应界限。
• 霍奇猜想（Hodge Conjecture）特殊情形： 处理了CM阿贝尔簇上的有理霍奇猜想，这是千禧年大奖难题的一个特殊类别，但完整猜想依然开放。
• 自由群因子问题： 论文指出不同生成元数量的自由群最终形成的算子代数结构可以完全对应，覆盖了参数大于1的插值自由群因子。

2. 形式化验证与局限性

• Lean形式化： 162篇手稿的主结论附有Lean形式化材料，供计算机逻辑检查。然而，形式化范围有限（如准黎曼成果仅覆盖主结论），未形式化部分仍需人工核对定义与推导。
• 潜在风险： OpenAI承认部分未形式化结果可能存在问题，需继续修订。康奈尔大学副教授Daniel Halpern-Leistner强调，机器形式化需确保代码定义与原问题一致，否则验证无效。

3. 学界反应与争议

• 批评声音： 25位菲尔兹奖得主（包括陶哲轩）联署公开信，批评AI公司将攻克开放问题作为评测目标，却忽略了理解、引用和人才培养。独立咨询小组AGMAI建议完善引用、使用独立学术存档平台，并资助人类消化这些成果，反对使用无法访问的专有模型测试前沿数学问题。
• 支持观点： 西北大学数学家Bryna Kra认为这是令人不安但也兴奋的时刻；Timothy Gowers设想数学家可按领域分工消化大量成果，但担忧学术环境被破坏。

4. 现状与后续

• 模型未开放： 生成这些成果的模型仍未向公众提供，研究者只能下载答案而无法使用同一工具进行后续探索。
• OpenAI回应： 设置了修订和引用规范，公开10份推理摘要，承诺资助相关研讨会，并表示仍在寻找符合社区建议的托管方式。