OpenAI一夜发布722篇数学论文，AI改写数学研究

10月7日早上，OpenAI在GitHub发布新仓库openai/math，包含722份数学手稿，归为372个成果组，覆盖数论、代数几何、实分析、组合数学、理论计算机、数学物理、偏微分方程等方向，全部出自内部一个未公开模型。

OpenAI称，现有数学评测已趋近饱和，国际数学奥林匹克AI已达金牌水平，题库分数上涨已难说明问题。因此他们挑选约4000个数学界尚未解决的开放问题，喂给内部模型，最终筛出372组有一定分量的结果。平均每个结果约花3小时ChatGPT Pro级思考算力。Altman当天发推感慨：“你的海洋如此浩瀚，我的船只如此渺小。”

数学与其它学科不同，核心是证明。物理化学生物常靠实验，理论可能被推翻；数学从公理出发严密推导，一旦证明成立便永远成立。欧几里得证明素数无穷：假设素数有限，全部相乘再加1，新数不被清单中任何素数整除，说明清单漏了。猜想则是大家相信但未证明的命题，如哥德巴赫猜想。计算机已验证到极大数无反例，但数学家要的是“所有”。波利亚猜想曾验证到几千万都对，却在906150257翻车。费马大定理折磨数学家350多年，怀尔斯1993年宣布证明后发现漏洞，又闭关一年多补上，证明一百多页，能看懂者屈指可数。

证明越来越长难，人类精力不够，于是有了Lean。可理解为数学界编译器，把证明翻译成代码，编译通过说明每步合规。局限有二：题目抄错或偷换简单版本仍能通过；只能判断对错，无法判断是否新、重要、漂亮。

372组中最震撼的是“准黎曼猜想”。素数单独看很乱，但大趋势越往后越稀。100万附近约每14个数一个素数，1万亿附近约每28个一个。1859年黎曼发表不到十页论文，转向研究ζ函数，其可写成与所有素数相关的形式。ζ函数零点位置与素数分布关系极深。罗格斯大学数学系主任、数论学家Alex Kontorovich看到“准黎曼猜想”直接说：“准黎曼？？？？你在逗我吗？”随后表示，若这是人类数学家做出来的，“直接就是菲尔兹奖，毫无疑问”。