722篇数学难题被AI瞬间攻克：菲尔兹奖得主瘫痪背后的认知大地震

数学家这辈子最害怕的一天，在 2026 年 10 月突然降临了。

2022 年菲尔兹奖得主迪米尼-科潘，在数学圈的讨论平台《证明与提示》上写了一篇自白。 他说自己看到那份清单的时候，整个人直接瘫痪了。 他在过去整个职业生涯里公开提到过的所有重大未解难题， 在学术报告里讲过的、写进论文里的、甚至写进科研基金申请书里的课题， 一个不落，全部被列在一份刚公布的文件里。 全部被解开了。

到底发生了什么？ OpenAI 在 10 月 6 日，在公开代码库里一次性扔出了 722 篇前沿数学研究手稿。 直接覆盖了 17 个数学领域的 372 个问题族。 从困扰数论学家几十年的拟黎曼猜想，到理论计算机科学里的矩阵乘法复杂度边界。 很多是几代顶尖数学家苦思冥想了一辈子的天堑。 结果 OpenAI 调动了 10000 个 AI 智能体协同推理， 平均解开一道题，只花了 3 个小时。

更让数学界感到窒息的，是这些题目的核验方式。 以前如果有人宣称自己解开了一个世纪大难题， 比如当年佩雷尔曼证明庞加莱猜想， 国际数学界得组织好几个顶级专家团队，拿着放大镜逐行核对两三年，才能确定证明成立。 但这一次，根本不需要人类参与审核。 在公布的全部成果里，有 42% 的核心证明直接被翻译成了计算机形式化语言 Lean 的代码。 由专用的逻辑核验程序在后台跑一遍，绿灯亮起，逻辑就算闭环了。 从提出问题、多步逻辑推演，再到最终的形式化验证， 整条链条几乎完全甩开了人类。 人类唯一保留的参与，只剩下在最开始输入提示词的那几个按键。

康奈尔大学数学家斯蒂芬·斯特罗加茨说， 虽然少数同行觉得新时代来了，但更多数学家正在经历“悲伤的五个阶段”。 从震惊、否认、愤怒，一路滑落到深深的沮丧。

很多外行可能会奇怪：机器能做题了，数学家至于这么绝望吗？ 过去这些年，流水线工人被自动化机械臂替代，设计师和程序员被大模型冲击， 当时学术精英给普通劳动者的建议很轻松：“去接受再培训就行了。” 现在，技术的浪潮第一次直接拍在了人类智力的最顶峰。 你让一个花了四十年钻研代数几何的顶尖学者，转行去再培训什么？

更深层的危机，还在于这直接动摇了纯数学这门学科存在的精神支柱。 1940 年，英国数学大师哈代写过一本名作《一个数学家的辩白》。 哈代在书里说，纯数学是他这一生“唯一伟大的永恒幸福”，是他存在的全部理由。 他甚至很骄傲地写道：数论和相对论没有任何实用的军事用途，纯数学就是纯粹的创造性艺术，只要一张纸、一支笔就能探索宇宙。 数学家愿意拿着微薄的大学薪水、坐几十年的冷板凳， 图的往往只有两件事： 一件是把自己的名字刻在定理上的优先发现权， 另一件是解开谜题时那种纯粹的智力欢愉。

现在，这套运转了几百年的学术共同体机制，正被很多人形容为正在遭遇“露天剥采”。 一个长达几十年的未解难题，从来不只是一道等待答案的题目。 它更像是一片绿洲。 为了攻克费马大定理，几代数学家经历了一次又一次失败， 正是在这些失败的过程中，人类创造出了代数数论、模形式和椭圆曲线的庞大工具箱。 难题聚集了研讨会，养活了无数博士生，维系着学术学徒制的代际传承。 当 AI 带着无穷无尽的算力像推土机一样开过来， 花几个小时把地下的矿石一次性采光， 答案是得到了，但原本依托矿脉生长的整座学术森林，也随之被连根拔起。

随之而来的还有一个极其荒谬的困境：机器给出的证明，人类可能根本看不懂。 如果 AI 用几百万步高维模式匹配算出了一条捷径， 形式化软件核验通过，证明确实无懈可击， 但没有任何一个人类大脑能够理解其中的因果跳跃和深层直觉， 这道题对人类来说算不算被攻克了？ 英国学者雅各布·布罗诺夫斯基早在上世纪就讲过一个道理： 一项伟大的科学发现或者一首诗，必须同时包含两个时刻。 一个是创造的时刻，一个是欣赏的时刻。 当一个后人读懂了前人的定理，后人的大脑其实是在重新经历当年创造者看穿隐藏规律的瞬间。 我们在自己的意识里，把这个发现重新创造了一次。 科学的意义，就藏在人类大脑与大脑之间的这种共鸣里。 如果 AI 吐出来的只是一堆人类认知无法消化的异星逻辑， 计算机亮了绿灯，但人类无法在脑海里重现那个欣赏的时刻， 对于人类文明来说，这个真理依然处于未被发现的盲区。

那么，纯数学真的就此走向终结了吗？ 看看国际象棋走过的路，或许能找到答案。 1997 年，IBM 的超级电脑“深蓝”击败了人类世界冠军卡斯帕罗夫。 当时所有人都在哀叹，说棋盘被计算机攻陷了，国际象棋要死了。 快三十年过去了，国际象棋不仅没有死，反而迎来了历史上最繁荣的时代。 全世界下棋、看棋的人数创了历史新高。 因为人类终于想通了一件事： 人去下棋，从来不是为了跟冰冷的硅基芯片比拼每秒几亿次的计算。 推土机早就跑赢了短跑冠军，但奥运会百米赛跑依然坐满了观众。 下棋的快乐，在于有限的人类大脑在棋盘上面对不确定性时的挣扎、专注与灵感。

数学也是同样的道理。 AI 的算力风暴，真正击碎的只是围绕“优先发表权”和头衔争夺建立起来的功利学术锦标赛。 当争当第一人的虚荣被机器轻易化解之后， 数学反而被逼着回到了哈代当年最纯粹的起点。 人类数学家的角色，正在从掌控一切的建筑师，变成大自然真理面前的“游客”。 一个游客去爬阿尔卑斯山，不需要自己去修路，也不需要证明自己是第一个登上山顶的人。 当你在草稿纸上一步步推导两千年前欧几里得证明素数无限的过程， 当你看见那些简洁而优美的数学结构在眼前展开， 那种只属于人类意识的震颤与快乐，是任何一万个智能体都无法剥夺的。 机器负责不知疲倦地推演无限的逻辑疆界。 而人类，终于可以放下包袱，在这个浩瀚的宇宙里，做一个真正享受风景的看客。