10月6日，OpenAI公开一个由内部未发布模型生成的数学成果库，目前包含722份手稿，归入372个结果族，来源于约4000道开放研究问题，其中不少结果附有Lean形式化证明，OpenAI同时明确提醒，并非所有论文都完成形式化验证，未经形式化的结果仍可能存在问题。

编号003最受关注，它声称证明所有狄里克雷L函数，包括黎曼ζ函数，在实部大于7/8的半平面内没有零点，这并不是解决黎曼猜想，因为黎曼猜想要求非平凡零点实部等于1/2，但如果7/8这一固定无零区域最终得到数学界确认，依然属于解析数论的重要推进。

罗格斯大学数论学家Alex Kontorovich看到这一结果后评价，如果由人类完成会达到“直接拿菲尔兹奖”的级别，不过专家的惊讶不能代替同行评议，OpenAI自己也没有把722篇论文描述成已经全部被数学界确认的定理，因此现阶段更准确的说法是，AI一次性提交了大量需要人类继续审查的新数学主张。

验证压力已经真实出现，OpenAI仓库10月7日的更新记录显示，3篇手稿因一个符号错误导致论证链失效而被撤回，另外14篇进行了证明修补、条件修正或引用调整，这恰好说明形式化工具能够降低部分错误风险，却不能把“模型生成论文”直接等同于“数学事实”。

我认为真正值得关注的不是“AI把数学家淘汰了”，而是数学研究的瓶颈可能开始从产生证明转向验证、理解和挑选问题，当机器能够短时间制造大量候选证明，人类最稀缺的能力反而变成判断哪些结果重要、哪些论证可信、哪些新问题值得继续追，这并不是数学结束，而是数学家的工作结构可能正在改变。

本文信息来源于OpenAI官网、OpenAI公开GitHub数学仓库、Institute for Advanced Study数学与人工智能顾问组公开文件及相关数学家公开评论。