数学家警告：AI解题'有害于科学'

一份看似仓促的声明

9月11日，全球二十五位数学家——其中包括菲尔兹奖得主、京都大学特聘教授森重文——发布了一份只能被形容为“紧急声明”的文件，对人工智能解决高难度数学问题的做法予以谴责。

该声明将这种做法称为“对科学与数学界的伤害”。它是直接针对OpenAI在9月8日发布的一项公告而发出的，该公告宣称其正在开发的AI系统已解决了七大千禧年大奖难题之一——这些数学问题极其深奥，每一道都附有100万美元的奖金，而解开其中任何一道都将成为人类智力史上的分水岭时刻。

让这一事件引人注目的并非其涉及的数学本身，而是资深研究人员所表现出的明显焦虑。这些人一生致力于掌握这门手艺，而如今一家AI公司却声称能够比人类更快地完成这项工作。

声明的措辞意味深长。数学家们将数学描述为“人类的微观缩影”——这一表述立刻将这门学科从单纯的计算提升到了近乎精神层面的高度。他们认为，AI公司的目标与数学研究的真正目的“存在显著脱节”。

其核心关切被直白地陈述出来：概念性地解决问题与计算性地解决问题并不相同。“解题只是实现概念理解与洞察这一原始目标的手段。”声明中写道。这种区别在于“做数学”与“理解数学”之间的差异——而在AI系统能够生成人类专家难以验证的有效证明的时代，这种区别正变得越来越无关紧要。

声明提出了几项具体担忧。首先，如果AI大量产出“结果”，人类验证将落后于生产速度。其次，允许进行耗时思考的环境——那种以持续沉思为特征、构成真正数学突破的思考方式——正面临丧失的风险。第三，由于AI从现有的庞大知识体系中推导答案，它会“引发关于成果归属与抄袭的问题”。

每项担忧都有其分量。但它们同时也揭示了一个令人不安的事实：数学界正在面对与其他知识型职业近年来所遭遇的相同生存不确定性，而他们的反应是发表声明而非做出适应。

OpenAI声称其系统解决了千禧年大奖难题之一。这些难题由克莱数学研究所在2000年提出，包括黎曼猜想与P versus NP等问题。尽管一些该领域最杰出的头脑为此努力了二十多年，它们依然未被攻克。

如果该声明得到验证，将代表真正的里程碑。但验证正是数学家们提出的问题：当证明本身可能超出人类认知能力时，人类专家如何确认AI生成的证明是正确的？声明暗示的答案是：你无法做到，而且速度不够快，这种延迟在所谓结论与真实认知之间造成了危险的差距。

计算能力与人类验证之间的张力并非数学独有。它出现在药物研发、气候建模和法律分析等领域。但数学的特殊性在于：数学真理是绝对的——一个证明要么正确，要么错误。其他领域所接受的概率近似在数学中没有容身之地。当AI生成证明时，出错的代价 uniquely 高昂。

西方媒体可能会将此事视为一个脚注——一场AI公司与一群愤怒学者之间的短暂交锋。但更深层的意义在于，数学界内部正就何为真正发现、何为机械计算这一议题产生裂痕。

数个世纪以来，数学一直被视为人类的事业。一个证明之美不仅在于其结论，更在于通往结论的路径——那些直觉、失败的尝试、以及将一个想法与另一个想法联系起来的洞察瞬间。这正是菲尔兹奖所表彰的：不仅是成果，更是人类看见他人所不能见之物的能力。

AI从根基上挑战了这一观念。如果一台机器能够在没有人类意义上理解的情况下生成有效证明，这个证明还算数吗？因为其来源是另一种形式的智能，这个结果是否就不那么真实了？这些问题并非抽象思辨。它们将决定未来数十年的资金流向、职业前景与研究方向。

数学家的声明归根结底是在恳求保护某种难以量化的事物：数学发现中的人性维度。这一恳求能否在商业AI发展的势头面前产生影响力，仍是一个未解之谜。

该声明主要在学术圈引发了关注，但其影响远不止于此。资助数学研究的大学需要决定：是否接受AI生成的证明、是否在人类研究者之外为AI系统署名、以及在一个计算工具日益强大的世界里如何培养下一代数学家。

OpenAI及其他AI公司将面临压力，要求其对方法更加透明，并与数学界合作，而非单方面宣布成果。当前“先宣布、后验证”的模式是不可持续的，尤其是在这些主张必须经受严格 scrutiny 的真理面前。

最重要的是，数学界自身必须决定：是调整其实践以纳入新工具，还是完全抵制。声明表明，资深研究者中后者占主导地位，但仅靠抵制无法保护这一学科。问题不在于AI是否会改变数学，而在于它将如何改变。

据报道，OpenAI仅用三十八小时便得出了其声称的成果——这一数字已经会在未来多年的辩论中被反复引用。这究竟是数学研究新纪元的开端，还是一个关于越界行为的警示故事，还有待观察。但可以肯定的是，对话已经开始，签署这份声明的数学家们已经明确表明了他们的立场。