OpenAI攻克722个数学难题，准黎曼猜想获证

OpenAI在GitHub平台发布包含722篇数学手稿的项目库，涵盖372个长期悬而未决的数学难题。其中包含对准黎曼猜想的证明及Lean形式化验证，引发数学界震动。

该项目库直接发布于GitHub，未经过同行评审。OpenAI表示多数难题证明仅需内部模型3小时计算，其未发布模型已突破上百个数学悬案。

数学家群体对AI直接发布成果表示不满，认为其违反学术规范。西北大学数学家Bryna Kra称现场氛围为'极致兴奋与恐惧并存'。

OpenAI攻克的成果中，编号Result 003的准黎曼猜想证明显示，所有狄利克雷L-函数在实部ℜs>7/8区域无零点，彻底排除朗道-西格尔零点。

在计算机科学领域，OpenAI证明了'基本半定阈值下的普通NP-困难'，在无需唯一游戏猜想前提下确立Basic-SDP阈值的NP-困难性。

纽约大学教授Nestor Guillen批评AI巨头行为如同黑帮，担忧人类最高智慧权力被科技寡头垄断。北大校友苏炜杰认为这标志着智能概念的范式转变。

该项目引发学术界对AI冲击传统数学研究范式的担忧，部分工程师认为古典数学已终结，AI将终结多数职业数学家生涯。