OpenAI一口气放出722篇数学手稿，数学家坦言光读完就要好几年

OpenAI把一个还没发布的内部模型跑出来的数学结果，一口气传上了GitHub：722篇手稿，归成372组结果，覆盖数论、代数几何、组合数学、统计力学等17个方向。公司介绍，模型此前尝试了约4000个研究问题，平均每项结果的算力开销大约等于ChatGPT Pro思考3小时。

目录里的名头个个不小：ζ函数与狄利克雷L函数的零点禁区被推进到实部7/8，另一份独立证明推到11/12还顺便排除了困扰数论界近百年的西格尔零点；有理数域上的希尔伯特第十问题给出否定答案；目录里还挂着BSD猜想和霍奇猜想两组手稿；π的无理性指数被压到理论最优值2；2002年提出的唯一游戏猜想也声称被拿下。仓库同时写明，绝大多数结果还没做Lean形式化，核验进度参差不齐。

数学界的反应算不上热烈。Gowers、Hairer、Witten等九人组成的独立顾问组发声明：公开不等于认可，证明是否成立要交给同行慢慢查。UT Austin的Maggi担心得更直白，成果产出的速度已经远超人类能理解的速度。OpenAI计划出资办研讨会，帮数学界消化这批材料。