OpenAI发布722篇数学论文 AI攻克准黎曼猜想

10月6日，人工智能公司OpenAI通过GitHub公开发布722篇数学手稿，涉及372个长期未解的数学问题。这些成果由其内部模型自动生成并验证，标志着AI在纯数学研究中的首次大规模应用。其中最引人注目的是对准黎曼猜想的证明：模型不仅证明了狄利克雷L-函数在实部ℜs>7/8的半平面内无零点，还彻底排除了朗道-西格尔零点的可能性。OpenAI表示，验证过程使用Lean形式化系统确保严谨性。

然而，这一发布方式引发学术界广泛争议。数学与人工智能咨询小组（AGMAI）曾建议实验室通过同行评审渠道发布成果，并披露模型细节。西北大学Bryna Kra教授批评称“这种做法就像黑帮一样粗暴”，纽约大学Nestor Guillen则认为这是“人类智慧权力的争夺”。尽管存在争议，OpenAI承诺将完善发布流程。

此次成果进一步巩固了AI在纯数学领域的地位。OpenAI首席执行官山姆·阿尔特曼称：“我们正进入一个全新的发现时代。”北大苏炜杰研究员指出，这是“人类对智能认知的一次范式转变”。