AI 用两个月解决了困扰数学界40年的难题。接下来数学会走向何方？

困扰人类四十年的难题，最终屈从的不是天才，而是一件工具

上月一篇预印本论文的顶端，列着一个23次多项式，其系数长达14位数字——一个数学家们四十年间尝试构造却屡屡失败的数值巨兽。两个月后，它真的出现了。这个问题被称为M23，存在于伽罗瓦逆问题这一纯数学中最抽象的分支之中。它曾被列为该子领域内26个最棘手的未解问题之一。如今这26个问题已有25个被解决。M23坚守得最久，直到五月底，由康涅狄格大学教授李奎焕（Ky u-Hwan Lee）领导的团队在美国数学研究所（AIM）的一次研讨会中，借助AI系统将其攻克。

这一结果的令人不安之处，不仅在于它被解决了，更在于它是如何被解决的，以及这种解法对一切衡量数学卓越性的制度意味着什么。

一场被正式归类为"奇迹"的突破

论文中两次出现了"不可思议地"（miraculously）一词。在一个将这类措辞视为职业不当行为的领域里，其使用本身就是一个信号。李奎焕在接受《朝鲜日报》采访时称，这个词反映了人类研究者真正的困惑：AI产出的结果正确无误，却无法被人所理解，就像AlphaGo那步著名的第37手，在专业棋手尚未从数学角度理解其深意之前，就已震撼了所有人。

“AI冲在了前面，人类则跟在后面努力跟上理解。“李奎焕说。这一序列——机器发现、人类理解——颠覆了整个数学传统赖以建立的根基。

M23项目中的分工清晰可辨，却难以量化。AI承担了暴力计算、代码生成和假设验证等工作，这些若由人类完成可能需要数月乃至数年。李奎焕估计，一名博士生可能需要在某个问题上耗费三年，而同一台AI仅需三天。人类负责设定方向、评估合理性，并最终构建起将计算答案转化为数学成果的理解。

李奎焕将这种合作关系比作交响乐团：你无法公正地剥离指挥与小提琴手各自的贡献并给出一个比例。但这一比喻也掩盖了一种令人不安的不对称性。小提琴手可以被替换，指挥却不能。

菲尔兹奖面临身份危机

M23结果最具深远影响的层面并非数学本身，而是制度层面。菲尔兹奖每四年颁发一次，授予40岁以下的数学家，是该学科的最高荣誉。它表彰的是个体的洞见、原创性和持久的智力奋斗。然而当数学研究的核心工作——计算、验证、解空间的探索——能够被移交至一台以人类研究者根本无法理解的时间尺度运行的机器时，所有这些价值观都被动摇了。

李奎焕引用了数学界流传的一种预测：2030年的菲尔兹奖可能是最后一届。其推理冷酷而清晰。如果AI协作成为研究的标准模式，那么从人类成就中划出一条有意义的界线来区分机器辅助的发现，将变得几乎不可能。建立在个体人类 brilliance 前提之上的奖项，要么丧失其合法性，要么被迫重新定义何为"人类”。

这并非猜测。M23被解决的研讨会举办于AIM，这是一个专门旨在促进协作解题的机构。这一成果源于一种人类与AI的循环互动，没有哪位个人能独自持续这种工作。同行评议机制、博士培养体系、终身教职评定流程——没有任何一种制度是为这样一个世界所设计的：最快的解题路径穿过一座黑箱。

五年到十年的喧嚣，然后是一个黄金时代——或一场危机

李奎焕预测了一段动荡的过渡期。在传统方式下受训的年轻数学家，花费多年学习手工计算、通过直觉洞察模式，他们将发现自己的准备与新的现实脱节。他们特定技能的市场将萎缩。该为他们训练些什么的问题，将在多年内得不到答案。

但他对最终结果并非悲观。他描绘了一个这样的场景：将AI视为"钢铁侠战甲”——一种延伸而非取代人类判断的外部能力——的数学家，将能够 tackling 那些曾经无法企及的问题。制约不再在于计算能力，而在于想象力。

但缺乏验证能力的想象力是危险的。李奎焕强调，AI越强，人类数学推理作为控制机制就愈发关键。一个无法审查AI输出的数学家，并非机器的伙伴，而是它的乘客。在他看来，未来的精英将是那些思维速度足以保持在驾驶座上的人。

谁赢，谁输

赢家是那些拥有深厚基础训练的数学家，他们能在证明结构和概念洞察的层面运作，同时将计算外包。他们将解决以前不可行的问题，并以判断力而非苦力赢得声誉。

输家是那些以计算劳动为价值主张的人——那些缓慢、细致的人类计算，AI如今已在几分钟内完成。这其中包括很大一部分研究生训练，学生们被期望花费数年掌握即将自动化的技术。一个曾定义博士生三年轨迹的问题，现在只需一个周末即可完成。

最脆弱的机构是那些围绕纯人类成就指标而建立的：菲尔兹奖、克莱数学研究所的千禧年七大难题、以发表数量和速度为衡量标准的终身教职委员会。这些框架中没有"受监督的机器辅助"这一类别。

更深层的问题：当没有人类写下证明时，证明是什么？

M23的结果并未产出一种由AI生成、人类盖章批准的证明。它产生的是一个由AI计算、人类最终理解并验证的结果。这两个情景之间的差距目前还很宽，但它不会一直宽下去。

随着AI系统吸纳更多数学研究的中间环节——引理、计算检查、探索性演算——人类生成知识与机器辅助知识之间的界限将趋于模糊。最终将迫使自身浮出水面的问题是：一条没有任何单个心智能够完整追溯的证明，是否仍是古典意义上的证明？数学界历来接受计算机辅助验证，如四色定理。但那属于人类将繁琐的检查工作委派出去的情形。M23指向一个不同的未来：人类将发现本身委派出去。

李奎焕的判断值得认真对待，因为他亲历了这场转变。作为首尔大学培养的、专攻代数和数论的纯数学家，他在不到六个月的时间里见证了这一领域的周期从数年压缩至数月。他的警告并非反AI，而是正判性。那些脱颖而出的数学家不会是在计算上与机器竞争的人，而是那些能够提出正确问题、并识别出机器何时给出了错误答案的人。

那个历经四十年却在两个月内被攻克的问题，不仅仅是一个结果。它是一个信号。这个信号表明，数学的重心正在转移，而衡量它的制度尚未察觉。