OpenAI 解出数学难题，顶级数学界陷入存在主义争论

近期，OpenAI 发布了一组针对数学领域长期悬而未解问题的解答方案，这一动作在数学界迅速炸开了锅，也成为 The Verge「Decoder」播客最新一期讨论的核心议题。该台驻伦敦 AI 记者 Robert Hart 采访了一批当代顶尖数学家，呈现了他们面对 AI 在高阶数学上快速突破时的复杂反应——有人兴奋，有人警惕，也有人把它视为一场「存在主义危机」的序章。

一个反直觉的能力图景

围绕 AI 的数学能力，公众的印象常停留在「连 strawberry 里有多少个 R 都数不清」这样的笑话上。Hart 在采访中确认，这种尴尬并未完全消失：ChatGPT 仍然不擅长算星期几、看钟表时间，简单的计数、加法、乘法依然是模型的软肋。但与此同时，最新一代前沿模型在专业级、抽象层面的高阶数学上表现出色，被多位数学家评价为「跨过了一个临界点」。

这种矛盾之所以出现，与数学本身的异质性有关。Hart 指出，数学并非铁板一块，它像生物学一样覆盖极广——从最基础的算术运算到高度抽象的代数结构，跨度极大。AI 在不同分支的表现差异明显：在推理、跨领域联想、把旧方法迁移到新问题上的能力上，模型已经取得显著进展；但在拓扑等纯抽象领域，以及几乎所有需要基本计算与时间/日期判断的任务上，模型仍然失分严重。

数学界的「存在主义危机」

数学家们担忧的并非 AI 成为一个「中等水平」的数学家，而是它在某些前沿方向上已经能产出可发表级别的成果。Hart 采访的多位数学家表达了一类共同焦虑：如果前沿模型能「一口气答出所有悬而未决的问题」，那么培养新一代数学家、依靠学术经费识别新问题的整套机制，还有多少意义？这一焦虑在 AI 冲击软件工程、写作等领域时已经出现过，但数学界似乎在极短时间内经历了同行长达数年的适应过程。

更深层的问题是能力迁移。Hart 援引数学家的观点提出：如果 AI 真的掌握了这一层抽象推理，会否在不久的将来延伸到其他学科？这一问题目前尚无定论，但已足够让整个数学共同体的自我认知产生动摇。

警惕「营销叙事」

讨论中也不乏冷静甚至尖刻的声音。部分受访者怀疑，AI 实验室对数学话题的密集曝光，本质是一场营销——借此展示前沿模型的推理实力，至于数学这一最古老、最基础的学科本身会走向何处，实验室并不真正关心。Hart 在节目中承认，无法验证这一动机猜测，但这种疑虑本身就是 AI 与学术界关系紧张的注脚。

综合来看，OpenAI 公布数学解法引发的风波，折射出 AI 能力曲线进入新阶段后，社会层面的适应成本正在急剧上升。数学界只是最新一个被迫直面这一冲击的领域，而争议远未结束。