{"id":"mb-20261020-a2bc0f","kind":"deep","title":"722篇数学难题被AI瞬间攻克：菲尔兹奖得主瘫痪背后的认知大地震","summary":"OpenAI 在 2026 年 10 月动用万名 AI 智能体与 Lean 形式化核验，闪击攻克 300 多个数学难题家族，引发全球顶尖数学家的集体震颤。本文深度拆解这场危机背后的机制：AI 如何对学术共同体进行露天剥采、异星证明如何割裂人类的理解共鸣，以及为什么数学最终会像深蓝之后的国际象棋一样，从论文锦标赛蜕变为属于人类意识体验的“游客数学”。","body":"数学家这辈子最害怕的一天，在 2026 年 10 月突然降临了。\n\n2022 年菲尔兹奖得主迪米尼-科潘，在数学圈的讨论平台《证明与提示》上写了一篇自白。\n他说自己看到那份清单的时候，整个人直接瘫痪了。\n他在过去整个职业生涯里公开提到过的所有重大未解难题，\n在学术报告里讲过的、写进论文里的、甚至写进科研基金申请书里的课题，\n一个不落，全部被列在一份刚公布的文件里。\n全部被解开了。\n\n到底发生了什么？\nOpenAI 在 10 月 6 日，在公开代码库里一次性扔出了 722 篇前沿数学研究手稿。\n直接覆盖了 17 个数学领域的 372 个问题族。\n从困扰数论学家几十年的拟黎曼猜想，到理论计算机科学里的矩阵乘法复杂度边界。\n很多是几代顶尖数学家苦思冥想了一辈子的天堑。\n结果 OpenAI 调动了 10000 个 AI 智能体协同推理，\n平均解开一道题，只花了 3 个小时。\n\n更让数学界感到窒息的，是这些题目的核验方式。\n以前如果有人宣称自己解开了一个世纪大难题，\n比如当年佩雷尔曼证明庞加莱猜想，\n国际数学界得组织好几个顶级专家团队，拿着放大镜逐行核对两三年，才能确定证明成立。\n但这一次，根本不需要人类参与审核。\n在公布的全部成果里，有 42% 的核心证明直接被翻译成了计算机形式化语言 Lean 的代码。\n由专用的逻辑核验程序在后台跑一遍，绿灯亮起，逻辑就算闭环了。\n从提出问题、多步逻辑推演，再到最终的形式化验证，\n整条链条几乎完全甩开了人类。\n人类唯一保留的参与，只剩下在最开始输入提示词的那几个按键。\n\n康奈尔大学数学家斯蒂芬·斯特罗加茨说，\n虽然少数同行觉得新时代来了，但更多数学家正在经历“悲伤的五个阶段”。\n从震惊、否认、愤怒，一路滑落到深深的沮丧。\n\n很多外行可能会奇怪：机器能做题了，数学家至于这么绝望吗？\n过去这些年，流水线工人被自动化机械臂替代，设计师和程序员被大模型冲击，\n当时学术精英给普通劳动者的建议很轻松：“去接受再培训就行了。”\n现在，技术的浪潮第一次直接拍在了人类智力的最顶峰。\n你让一个花了四十年钻研代数几何的顶尖学者，转行去再培训什么？\n\n更深层的危机，还在于这直接动摇了纯数学这门学科存在的精神支柱。\n1940 年，英国数学大师哈代写过一本名作《一个数学家的辩白》。\n哈代在书里说，纯数学是他这一生“唯一伟大的永恒幸福”，是他存在的全部理由。\n他甚至很骄傲地写道：数论和相对论没有任何实用的军事用途，纯数学就是纯粹的创造性艺术，只要一张纸、一支笔就能探索宇宙。\n数学家愿意拿着微薄的大学薪水、坐几十年的冷板凳，\n图的往往只有两件事：\n一件是把自己的名字刻在定理上的优先发现权，\n另一件是解开谜题时那种纯粹的智力欢愉。\n\n现在，这套运转了几百年的学术共同体机制，正被很多人形容为正在遭遇“露天剥采”。\n一个长达几十年的未解难题，从来不只是一道等待答案的题目。\n它更像是一片绿洲。\n为了攻克费马大定理，几代数学家经历了一次又一次失败，\n正是在这些失败的过程中，人类创造出了代数数论、模形式和椭圆曲线的庞大工具箱。\n难题聚集了研讨会，养活了无数博士生，维系着学术学徒制的代际传承。\n当 AI 带着无穷无尽的算力像推土机一样开过来，\n花几个小时把地下的矿石一次性采光，\n答案是得到了，但原本依托矿脉生长的整座学术森林，也随之被连根拔起。\n\n随之而来的还有一个极其荒谬的困境：机器给出的证明，人类可能根本看不懂。\n如果 AI 用几百万步高维模式匹配算出了一条捷径，\n形式化软件核验通过，证明确实无懈可击，\n但没有任何一个人类大脑能够理解其中的因果跳跃和深层直觉，\n这道题对人类来说算不算被攻克了？\n英国学者雅各布·布罗诺夫斯基早在上世纪就讲过一个道理：\n一项伟大的科学发现或者一首诗，必须同时包含两个时刻。\n一个是创造的时刻，一个是欣赏的时刻。\n当一个后人读懂了前人的定理，后人的大脑其实是在重新经历当年创造者看穿隐藏规律的瞬间。\n我们在自己的意识里，把这个发现重新创造了一次。\n科学的意义，就藏在人类大脑与大脑之间的这种共鸣里。\n如果 AI 吐出来的只是一堆人类认知无法消化的异星逻辑，\n计算机亮了绿灯，但人类无法在脑海里重现那个欣赏的时刻，\n对于人类文明来说，这个真理依然处于未被发现的盲区。\n\n那么，纯数学真的就此走向终结了吗？\n看看国际象棋走过的路，或许能找到答案。\n1997 年，IBM 的超级电脑“深蓝”击败了人类世界冠军卡斯帕罗夫。\n当时所有人都在哀叹，说棋盘被计算机攻陷了，国际象棋要死了。\n快三十年过去了，国际象棋不仅没有死，反而迎来了历史上最繁荣的时代。\n全世界下棋、看棋的人数创了历史新高。\n因为人类终于想通了一件事：\n人去下棋，从来不是为了跟冰冷的硅基芯片比拼每秒几亿次的计算。\n推土机早就跑赢了短跑冠军，但奥运会百米赛跑依然坐满了观众。\n下棋的快乐，在于有限的人类大脑在棋盘上面对不确定性时的挣扎、专注与灵感。\n\n数学也是同样的道理。\nAI 的算力风暴，真正击碎的只是围绕“优先发表权”和头衔争夺建立起来的功利学术锦标赛。\n当争当第一人的虚荣被机器轻易化解之后，\n数学反而被逼着回到了哈代当年最纯粹的起点。\n人类数学家的角色，正在从掌控一切的建筑师，变成大自然真理面前的“游客”。\n一个游客去爬阿尔卑斯山，不需要自己去修路，也不需要证明自己是第一个登上山顶的人。\n当你在草稿纸上一步步推导两千年前欧几里得证明素数无限的过程，\n当你看见那些简洁而优美的数学结构在眼前展开，\n那种只属于人类意识的震颤与快乐，是任何一万个智能体都无法剥夺的。\n机器负责不知疲倦地推演无限的逻辑疆界。\n而人类，终于可以放下包袱，在这个浩瀚的宇宙里，做一个真正享受风景的看客。","topic":"722篇数学难题被AI瞬间攻克：菲尔兹奖得主瘫痪背后的认知大地震","frame_type":["机制"],"citations":[],"channel_note":"","identity_notice":"","source_type":"generated","status":"published","generated_at":"2026-10-20 06:19:31","legal_anchor_count":0,"transcript_citation_count":0}