自从你上一次想到数学以来，那些每天都在琢磨数学的人已经坐不住了。 一个月前，OpenAI宣布，其一款强大的内部模型攻克了一个以难著称的千禧年大奖难题。 这看起来像是人工智能在数学领域取得进步的最令人惊叹的展示。 随后，数学家们群起反对。 信息不再稀缺，能融会贯通才是真有料！ 全新推出《华尔街日报》主题包，登录会员免费领！ ☛立即领取 来自数学界的强烈抵制，恰逢全球对硅谷实验室竞相构建的这项技术进行反思之际。 就在OpenAI发布其里程碑式证明的同一天，一名研究人员因安全担忧从Anthropic离职。 短短数小时内，这项AI突破就被AI可能毁灭人类的担忧盖过。 与此同时，数学家们也在面对关乎自身存在的根本问题。

但在他们公开辩论这门古老学科的未来时，OpenAI的模型仍关起门来，源源不断地产出着证明。 这给该公司留下了一个必须由一群人类来解决的问题：该如何处理这些由AI生成的数学成果。 周二晚，OpenAI把这些证明集中发布到网上，留给数学家们消化。 这批海量材料包括700多篇论文，覆盖数论、代数几何以及其他领域的数百个问题；这些领域光是名字，就足以让那些至今对高中数学心有余悸的人偏头痛发作。 OpenAI报告的重大成果中，包括与剩余五个千禧年大奖难题中的三个有关的进展，其中包括黎曼（Riemann）猜想。

「如果这是人类做出来的，那会立刻拿到费尔兹奖，毫无疑问，」罗格斯大学（Rutgers University）杰出数学教授亚历克斯·孔托罗维奇（Alex Kontorovich）在X上谈到黎曼猜想相关结果时写道。 在目瞪口呆的数学专家开始消化这些结果之际，就连Anthropic内部一名研究人员也称，OpenAI的发布「显然是数学史上最重要的时刻」。 这也是对于AI和数学本身都具有历史意义的一年里，最新一个令人头晕目眩的转折。 近几个月来，OpenAI和Anthropic都把复杂数学变成了一种不同寻常的行销方式，用来宣传它们能力最强的模型，并高调宣称这些模型解出了困扰人类数十年的难题。

但随着美国人对AI的疑虑日益加深，原本看似可以非常安全地展示AI能力的方式开始适得其反。 这些实验室也失去了某些将一生奉献给数学的人的信任，他们曾经欣然接受AI工具，把它们视为强大得近乎离谱的计算机，但现在却觉得自己在兆美元级巨头公司的争夺战中成了被「殃及的池鱼」。 他们的竞争非常激烈：OpenAI说，它是在听说Anthropic已经至少解决了一个千禧年大奖难题后，才把自己的尖端模型派去攻关这些难题，并为此投入了数以百万美元计的算力。 在OpenAI公布纳维-斯托克斯（Navier-Stokes）问题的解答后，一名与Anthropic研究人员合作的学者称，该模型可能借鉴了他尚未发表的研究；OpenAI否认这一说法。 批评声随后升级。

20多位享有盛誉的费尔兹奖得主发表了一封题为「AI在数学中的严重对齐失准」的公开信，这封措辞激烈的公开信警告称，AI行业急于解决数学问题，可能会动摇数学的根本目的。 在OpenAI称自己希望对其予以赋能的科学界施压下，该公司最近协助召集了一个由顶尖数学家组成的独立小组，以征询意见。 「关于AI如何支持数学理解，未来还有一些棘手问题，」OpenAI上个月表示。 「我们希望数学家处在塑造答案的内核位置。 」 上周，该咨询委员会根据数百名数学家的回馈，提出了AI实验室应如何发布其发现的指导原则。 OpenAI称，在发布这批海量数学成果时，它借鉴了这些建议。

此次发布的内容包括722篇论文，这些论文被归入372组数学成果；该公司称，它总共向模型输入了约4,000个问题。 OpenAI还提供了该模型在10个成果上的「思维链」摘要，并估计，平均每项成果所需算力仅为那次千禧年大奖难题突破所投入算力的一小部分。 本周早些时候，关于OpenAI准备发布一批前所未有的海量证明的传言四起，数学家们争分夺秒发表自己借助AI完成的研究，以免成果被抢先发表。 OpenAI称在发布这些成果时，它将数学委员会的建议和关切谨记于心，但有一个例外。 「我们要求他们停止用专属模型测试高深数学问题，」这些顶尖数学家上周写道。

OpenAI回应说：「继续在数学和其他科学领域评估我们的内部尖端模型很重要，这样我们才能加快开发推动这些领域进步的工具。 」