OpenAI 近日公布，其先进的未发布模型 Astra 成功解决了 10 道长期未解的数学难题，其中一些已困扰学界数十年。这一消息在数学界引发强烈反响，牛津大学教授、菲尔兹奖得主 James Maynard 向 The Verge 表示，过去一年他一直在“灵魂拷问”，思考这个传统上进展缓慢的学科如何快速适应 AI 的到来。

Maynard 的担忧并非孤例。多位接受 The Verge 采访的数学家表示，他们对 AI 加速数学发现的潜力感到兴奋，但也对这门学科的未来感到忧虑，甚至绝望。几乎没有人怀疑，一场深刻的变革已经发生。

OpenAI 解决的难题涵盖了从高度抽象到具有实际应用价值的多个数学领域。其中一项突破涉及高维空间中球体的最紧密堆积问题，这与数据编码和传输的效率直接相关；另一项则推进了纠错码的极限，有助于从噪声信号中恢复信息；还有一项解决了关于复杂连接网络在出现结构模式之前能有多复杂的两个长期问题。此外，研究还涉及量子博弈论、高维网格中的目标搜索，以及后量子网络安全相关技术。

最引人注目的成果之一是关于非 sofic 群的存在性——这是一种无法用有限结构近似的无限数学结构，其存在性问题已开放数十年。然而，这一成果也引发了关于功劳归属的争议。剑桥大学数学家 Francesco Fournier-Facio 告诉 The Verge，他和该领域的其他研究者认为，OpenAI 最初的公告低估了 Andreas Thom 和 Gábor Kun 的贡献，后者的近期工作为这一结果奠定了基础。

OpenAI 最初发布公告时称，其分享的是“对至少十年未见进展、多数情况下更久未解决的主要问题”的成果。但随后，公告措辞被修改为“分享的成果解决了长期未解问题或取得了实质性进展”，且未附任何更正说明。匈牙利 Alfréd Rényi 数学研究所的 Kun 表示，OpenAI 在发布前曾通过电子邮件联系他，他当时觉得公告中“相当滑稽”的措辞与所附研究论文“明确说明建立在我 2016 年和 2019 年成果之上”不符。发布后，OpenAI 再次联系 Kun，一位 OpenAI 数学家解释称，原措辞意在指代集合中的其他结果，“并非暗示该问题没有进展”，并承认“论证确实关键依赖于你的工作”，随后请求修改措辞。OpenAI 发言人 Laurance Fauconnet 向 The Verge 确认，公告已更新，“以更好地反映这些成果所基于的先前研究”。

这场争议凸显了 AI 在科研中角色定位的复杂性。数学家们既看到了 AI 加速发现的巨大潜力，也担忧人类在科研中的独特价值被削弱。随着 AI 越来越多地介入基础数学研究，如何公平分配功劳、如何定义“原创性”，将成为学界必须面对的新课题。