OpenAI公开722篇数学手稿，数学圈吵翻了

论文翻译官 · 2026-10-07T13:26:58

OpenAI在GitHub上开了个仓库，叫 openai/math。 里面是722篇数学手稿，分372个系列，全是一个还没发布的内部模型写的。 官方README写得很实在。 一个结果平均烧3小时ChatGPT Pro算力，评估期间总共问了模型4000个问题。 9月23、24两天，一天快200篇。 不到两周，批量出货啊。 最抓眼的是准黎曼猜想那组。 黎曼猜想猜的是ζ函数零点全在实部1/2那条线上，悬了160多年。 这次模型证的是实部大于7/8的大片区域没有零点，另一份独立证明推到了11/12。 不是证明黎曼猜想，是把零点可能藏身的范围砍掉一大块。 以前人类只证过贴着实部等于1那条边的窄带。 还有π的「无理性指数」被压到2，这个数衡量π能被分数逼近得多狠，理论下限就是2，之前人类最好的纪录在7左右。 有理数版的希尔伯特第十问题也给了结果，这个问题悬了半个多世纪。 372族里只有约235族附了Lean形式化说明，六成都不到。Lean是一种让程序逐行检验证明的数学语言，过了机器这关才算铁。 官方原话承认，部分没形式化的结果可能有问题。 模型身份也没公布嘛，只写「未发布的内部模型」。 数学界的反应很微妙。 9位大人物组成的顾问组发了声明，说这是大事，但不代表认可结果，也不代表认可产出过程。 毕竟9月那批Navier-Stokes结果，刚被陶哲轩牵头25位菲尔兹奖得主联名批评过绕过同行评审。 Altman的口径是，我们正进入一个全新的发现时代。 9位大人物的顾问组不站队，只留下一句，不代表认可结果，也不代表认可产出过程。