OpenAI在网上发布700篇数学预印本，引发数学家群体强烈不满该公司利用尚未对外发布的模型攻克数百个备受关注的数学难题。

OpenAI一次性发布700余篇覆盖各个数学分支的预印本。图源：Monty Rakusen/DigitalVision via Getty

10月6日，OpenAI公开发布一大批由人工智能完全生成的700余篇数学预印本，此事在科研圈引发轩然大波。这家总部位于加州旧金山、ChatGPT的开发企业，将这批预印本上传至代码托管平台GitHub。

一部分数学家为部分悬而未决的难题得到解答而欢呼，但也有不少数学家在社交媒体上抱怨自己的研究成果被抢先发表。即便部分数学推导最终在形式上被证明正确，仍有学者对此感到愤怒，有物理学家将该事件称作“灾难式粗制滥造（slopocalypse）”。

康涅狄格大学斯托尔斯分校数学家Alvaro Lozano‑Robledo在社交平台X上发文表示，一次性发布如此数量的论文，着实“令人震惊”。他提出疑问：“为什么OpenAI要一次性求解数百道数学问题并集中对外发布？”

OpenAI一位发言人在给《自然》期刊的邮件中表示，公司目标是为数学家与科学家提供工具。“为实现该目标，我们针对各科学领域高难度前沿问题，对模型开展评估与迭代研发。”

同样位于旧金山、竞品公司Anthropic的数学家Levent Alpöge在X平台评论：部分数学家会遭遇令人沮丧的处境，自己正在开展的研究项目被OpenAI的这批成果抢占先机。不过他写道：“但当下我们暂且把这一点放在一边。这显然是数学史上意义重大的时刻”，因为这件事证明这项技术能服务于数学家的发展速度已经非常惊人。

备受瞩目的难题这批大批量预印本当中，并未包含克雷数学研究所遴选的五道尚未解决的千禧年大奖难题（Millennium Prize Problems）。该研究所科研总部设立在英国牛津，于21世纪初公布千禧年七大数学难题。（OpenAI曾在9月发布一篇关于纳维‑斯托克斯方程（Navier‑Stokes equation）的预印本，宣称解决七题中的一道；另一道难题已于21世纪初由数学家完成证明。）

即便如此，这批预印本中仍有部分研究与剩余五道千禧年难题相关，包括关于复代数簇（complex algebraic varieties）的霍奇猜想（Hodge conjecture），以及研究素数统计性质的黎曼猜想（Riemann hypothesis）。OpenAI发言人表示：“我们交由更广泛的学术共同体来评判这些成果的价值。”

OpenAI模型宣称已经解决的部分问题拥有超过百年的历史。这批预印本涉猎多个方向：抽象代数、数学物理、量子算法、微分几何等。

学界委员会的意见在这批预印本发布前数周，OpenAI向一个临时数学家委员会征集意见，该机构名为数学与人工智能顾问小组。OpenAI称自己采纳了该小组9月29日给出的建议：无需等待人工完成核验（部分甚至无需人工把推导梳理得清晰可读），就直接对外公开结果。

部分数学家认为，一旦机构完成某道问题的证明，就应当立刻公开结果。伦敦帝国理工学院数学家Kevin Buzzard表示：“如果定理已经得到证明，还让人类继续重复开展相关工作，这是一种资源浪费。”

但该顾问小组同时指出，人工智能实验室使用闭源自研模型，“存在形成两级科研体系的风险：企业实验室跑在整个领域的最前列，使得数学界广大科研人员被排斥在本学科之外”。针对OpenAI此次发布，该小组在官网发文称：“最终需要由数学共同体来评判，我们的建议在多大程度上得到切实落实。”《自然》联系委员会成员，但他们拒绝对OpenAI是否落实相关建议作出评价。By Davide Castelvecchi from Nature Newsdoi: 网页链接