最近，数学领域似乎迎来了一场轰动的变化。OpenAI发布了一篇重磅文章，宣布其一款于8月28日开始训练的全新内部模型，已成功破解了100多个世界级数学难题，涵盖了数学的多个领域。其中最引人注目的是，这个模型竟然成功攻克了长期困扰数学界的「纳维–斯托克斯」千禧年难题。这一快速进展让OpenAI的内部数学专家都感到惊讶，从开训到官方宣布，仅仅过去24天。眼下，这款尚在训练阶段的人工智能，正在解决人类几十年甚至是上百年以来无法攻克的问题。
今天，OpenAI还邀请了9位国际顶尖数学家，成立了一个独立的数学顾问组。这个团队的成员包括菲尔兹奖得主Timothy Gowers、Martin Hairer，以及理论物理和数学领域的权威Edward Witten，构成了一个被称为数学界的“复仇者联盟”。他们的首要任务是在AI批量攻克数学问题的背景下，指导人类数学界如何应对这一变化。
在谈论这个进展时，了解其背后的细节显得尤为重要。9月8日，OpenAI的一款新模型在仅仅88小时内攻克了纳维–斯托克斯这一千禧年难题。它提供了关于方程存在性与光滑性问题的证明，并同时发布了一篇长达166页的论文和Lean形式化验证的代码。根据公司的说明，这一成果表明在光滑外力作用下，初始静止的三维不可压缩流体会在有限时间内形成奇点，符合千禧年大奖描述中的C、D版本。这一突破得益于一万多个并发Agent的共同协作，它们能够访问互联网、运行代码并交换信息，不同小组在探索不同问题解法时能够相互沟通。研究人员在其中发挥了重要作用，利用已有的解法来引导后续研究，最终在88小时后得到了解法，紧接着GPT-6 Astra又耗时17小时完成了Lean形式化与验证的工作。
截至目前，OpenAI已经攻克的难题范围愈加广泛，除了纳维–斯托克斯问题外，还有众多历史悬而未决的难题。此进展引发了公司内部的热烈讨论，关于如何让数学界及时获得这些重要成果以便做出应对，成为了当前的一个现实问题。
几天后，数学界对此作出强烈反应。27位菲尔兹奖得主联合发布了一封尖锐的公开信，题为《AI在数学领域的严重错位》。这些大咖囊括了近半个世纪的菲尔兹奖历史，包括邓煜、陶哲轩、许埈珥等。他们并非反对AI技术本身，而是对AI公司发布成果的方式表示不满，认为这样不过是简单的刷榜，忽视了数学研究的深度与理解。他们强调，急于公布的解法未能经过必要的思考和整理，可能会对数学界产生毁灭性的影响。
OpenAI对此也没有避而不谈，承认需要与数学家们进行深入的交流。因此，新的数学顾问组的成立显得尤为重要。这个顾问组的成员包括来自多所知名高校的顶尖人才，如剑桥、牛津、哈佛、斯坦福等。组中的一些成员甚至是各领域的权威，比如曾获菲尔兹奖的Timothy Gowers和Martin Hairer，以及著名的理论物理学家Edward Witten等。OpenAI期望这个团队能够评估新数学成果的重要性，探讨结果的发布策略，并确保AI时代的数学研究仍然符合学术规范。值得注意的是，这些顾问成员并不领取OpenAI的报酬，允许他们公开对公司的做法进行批评。
