OpenAI又惹毛数学家：百项新解将发布

编者按：当大模型开始宣称攻克数学难题，欢呼与警惕往往同时出现。WIRED最新报道显示，OpenAI即将发布超过100个针对未解数学问题的新解，但这一动作尚未落地，已在数学家中引发强烈反弹。

“黑帮行为”的观感从何而来

据WIRED记者Isabella Ward报道，多位数学家对OpenAI等领先AI公司的做法感到不满。一名数学家直言，这些公司身上存在“一种黑帮行为的观感”。这句话之所以刺耳，是因为它并非针对某个具体证明的错误，而是指向一种权力姿态：先以庞大算力和媒体声量宣布突破，再让学术界被动跟进、验证、消化，甚至争夺署名与话语权。

“有一种黑帮行为的观感。”——一位数学家对WIRED表示。

这也不是OpenAI第一次与数学界发生摩擦。报道标题中的“Again”暗示，类似冲突已反复出现。对数学家而言，AI公司若只是发布工具、代码和数据，本可成为合作者；但当它们以“解决未解问题”为宣传点，却未同步公开完整证明、方法细节和同行评审路径时，合作就容易滑向冒犯。

100多个“新解”为何敏感

数学不是实验科学，证明的可验证性是其生命线。一个结果是否成立，不取决于发布会、博客或社交媒体热度，而取决于逻辑链条能否被同行逐步检验。OpenAI准备发布的100多个新解，若涉及长期未解问题，数学界自然会追问：这些问题由谁挑选？解答是完整证明，还是借助形式化工具和计算搜索得到的结果？人类数学家在其中扮演什么角色？贡献如何署名？

更现实的担忧是资源不对称。顶尖AI公司拥有海量算力、工程团队和数据集，能够大规模搜索、生成、验证数学命题。普通研究者难以匹敌这种“工业化”生产模式。若公司再以商业机密为由不公开关键细节，学术界就会陷入两难：既无法忽视可能重要的结果，又难以按传统规范进行独立验证。

AI与数学：合作、工具还是殖民

过去几年，AI在数学领域的进展令人瞩目。从辅助猜想生成、符号计算，到形式化证明助手Lean中的自动证明，再到AlphaGeometry等方法在几何问题上的表现，AI正从“计算器”变成“研究助手”。但工具越强，规则越重要。数学界并不排斥机器参与，排斥的是不透明、不可复现、抢占功劳的参与方式。

如果OpenAI真的发布100多个新解，最有建设性的做法不是让数学家被动接受，而是建立联合验证机制：公开问题列表、证明脚本、搜索过程和失败案例；明确人类与模型的贡献；邀请独立数学家评审；允许社区复现和反驳。否则，即便某些结果正确，也会因程序正义缺失而遭遇抵制。

“Again”背后的学术权力焦虑

数学界的不满，表面看是技术争议，深层是学术权力焦虑。AI公司正在成为基础研究的重要资助者、工具提供者和议程设置者。它们可以决定哪些问题值得投入算力，哪些结果值得发布，哪些声音被看见。对习惯以同行评审和长期声誉运作的数学共同体而言，这是一种范式冲击。

WIRED的报道提醒我们，AI进入科学不会自动带来开放与进步。它也可能放大资源集中、公关先行和署名不公。OpenAI若想避免“再次”激怒数学家，需要的不是更华丽的发布，而是更谦逊的协作姿态：把证明交给数学界检验，把功劳按贡献分配，把方法置于阳光之下。

数学的裁判权不应属于算力最大者，而应属于逻辑和共同体。AI可以成为强大的合作者，但前提是它遵守学术游戏规则。否则，再多的“新解”也可能只换来更多不信任。

本文编译自WIRED