OpenAI发布722篇数学论文，准黎曼猜想被攻克，AI推动学术范式变革

10月6日，人工智能巨头OpenAI突然宣布在数学领域取得重大突破，其内部前沿模型在短时间内生成并验证了722篇数学手稿，涉及372个长期悬而未决的数学难题。这些成果被发布在GitHub代码库openai/math中，标志着AI在纯数学研究中的首次大规模应用。

在所有成果中，最引人注目的是对准黎曼猜想的证明。该模型不仅证明了狄利克雷L-函数在实部ℜs>7/8的半平面内不存在零点，还彻底消除了朗道-西格尔零点的存在可能性。OpenAI表示，这项成果的验证过程使用了Lean形式化验证系统，确保了数学证明的严谨性。

OpenAI首席执行官山姆·阿尔特曼（Sam Altman）在X平台发文称："我们正进入一个全新的发现时代。"他强调，这些成果是基于内部模型自动推理完成的，平均每个成果仅消耗相当于ChatGPT Pro三小时深度思考的算力。

然而，这一发布方式引发了学术界的广泛争议。数学与人工智能咨询小组（AGMAI）早在九月下旬就建议，AI实验室应通过成熟的学术渠道发布研究成果，并披露模型名称、提示词和算力开销等详细信息。但OpenAI选择直接在GitHub上发布，而非经过同行评审。

西北大学数学家Bryna Kra教授表示："这种做法就像黑帮一样粗暴。"纽约大学客座教授Nestor Guillen则认为："这不仅是技术问题，更是关于人类智慧权力的争夺。"

北大数学校友、统计学考普斯会长奖得主苏炜杰研究员指出："这是人类对智能认知的一次范式转变，就像哥白尼的日心说革命。"

尽管存在争议，OpenAI仍承诺将继续完善成果发布流程，探索更符合学术规范的发布方案。数学家们需要时间消化这些成果，其最终影响尚待观察。

值得注意的是，这不是OpenAI首次在数学领域发力。今年早些时候，其模型已经解决了一百余个长期悬而未决的公开难题，覆盖数学的绝大多数分支领域。此次发布的成果进一步巩固了AI在纯数学研究中的地位。