2026年的10月中旬，菲尔兹奖得主陶哲轩以一种罕见的方式刷屏中文互联网：过去一个来月，他的博客几乎日日更新，演讲、宣言、声明、客座文章一场接一场，主题只有一个——当机器可以批量生成「答案」，人类似乎越来越难享受「弄懂」的快乐。回到一手材料，这场「灵魂发问」其实有两个方向：7月，在他本人授权的AI访谈里，是AI在质问他；10月9日的加州理工「Math 2.0」公开课上，是他把问题抛给了AI和整个数学界。两个方向共享同一个判断：AI第一次把「拿到答案」和「弄懂答案」拆开了，而学术机构的奖励仍然只发给前者。
先看陶哲轩问AI的。幻灯片第20至22页是一个思想实验：对一台高级AI下达指令「找到一种能通过三期临床试验的癌症疗法，不许犯错」，AI交出一套没人真正理解机理的鸡尾酒疗法，还附上机器可检验的Lean证书；随后是那句反问——在把药剂注入身体之前，得知至少有一位人类癌症专家哪怕部分理解这个疗法背后的机理，你会不会觉得安心一点？第22页把这浓缩成一个公式：强大的AI加上人类理解的缺席，等于错位风险。而第29页那句或许是全场最值得记住的话：实现Math 2.0的主要瓶颈不是技术，甚至不是制度文化，而是想象力。GitHub Pages
再看AI问陶哲轩的。他网站上那份《陶哲轩论AI》活页摘要由AI助手编纂、经他本人逐条修订，访谈部分是他专门要求「问题不要客气」的产物。最尖锐的一问直指标题里的「快乐」：如果连原创理解这最后一块人类领地也被机器攻下，这门职业到底还剩下什么？「为了人类的理解体验而做数学」，究竟是信念，还是一个诚实的人其实会觉得空洞的自我安慰？ 他的回答反而把「弄懂」抬到了新高度：数学不是完成定义、定理、证明的抽象配额，而是关于理解——今天要把这句话说成「人类的理解」；他还给了一个生活化的比喻，AI可以无损复制音乐、甚至合成出以假乱真的新作，可人们仍然愿意去现场听音乐会，因为人真正看重的是与人的连接。GitHub Pages
「弄懂」的稀缺，是被一连串事件逼出来的
情绪的起点是9月8日OpenAI宣布用AI解决了纳维-斯托克斯存在性与光滑性这一千禧年难题；9月11日，包括陶哲轩在内的25位菲尔兹奖得主联署《数学中的AI严重失衡》宣言，直言解题只是达成概念性理解与洞见这一首要目标的工具和代理，忘了这一点，工具就会反噬目标。陶哲轩博客
10月6日，OpenAI一次性放出722份数学手稿，发布第二天就撤下3篇手稿：一处符号错误使一个核心论证失效，并连带影响两篇依赖它的论文，另有14篇被修订、13篇更新了引用关系，而据36氪方面的统计，这批论文里只有162篇的主要结果经过了计算机验证；10月7日，陶哲轩在博客转载了「人类数学协会」（AHM）敦促数学家停止与OpenAI合作的声明——这家协会成立于2026年8月、仅有809名会员，陶哲轩本人并不在名单里，「由陶哲轩领衔」实为网友误传。36氪
真正把「解出≠理解」讲透的是哲学家的客座文章《After Math》：证明其实有两个概念，逻辑的概念与可理解的概念；只提供一个答案——哪怕有形式化证书——不算真正解决数学问题，缺的是一份人类数学家能够理解、并能用来推进数学的可理解证明。陶哲轩博客
答案变便宜之后，旧的衡量体系塌了：过去证明稀缺，「做出证明」恰好等价于「产生理解」，拿它当学术硬通货没有大问题；进入证明丰裕时代，这条等式断了，而职称、奖项与热搜仍然只认答案。更急的是学生——客座文章《我们该告诉学生什么》的作者、数学家Álvaro Lozano-Robledo说，他最担心的是我们可能正失去整整一代数学家，不少本科生已经在临阵改主意。陶哲轩博客
快乐长在被跳过的过程里
陶哲轩在访谈里把这件事讲得极其日常：孩子天生好奇，被鼓励着就能享受智识挑战、体会自身能力的生长；可如今每个人面前都摆着一个巨大的「作弊按钮」，能一键绕过全部挣扎，与这种舒适对抗很难，但并非不可能。「弄懂」的快乐本来就长在卡住、绕路、突然想通的过程里——被AI代走的是过程，递到手上的只剩答案，快乐自然就断供了。GitHub Pages
中文社区的误读恰好暴露了这种断供。知乎「黑盒AI治癌药」相关问题下，高赞回答已有232个赞同、逾20万阅读，评论区里被刷得最多的第一反应是「这不就是中医吗」；而那个高赞回答替陶哲轩做了澄清：他问的从来就不是病人应不应该用药，而是在问原来的机制能保证病人放心吃AI的药吗。知乎
出路也在被同时讨论。3Blue1Brown创始人Grant Sanderson在陶哲轩博客发表的客座文章里提出「动机阐释」：证明里定义摆在开头，阐释里定义坐在中间——先讲清为什么要发明这个概念，允许带领读者经历「错误想法、发现崩溃、修复问题、再想出新问题」的过程，因为那才是人类大脑认知的真实路径；新智元转述了他那句判词：目前，AI生成的每一个证明，天生就是一个「未解决的阐释问题」。新智元
陶哲轩要改的是奖励，不是关掉AI
他的处方是把评价体系从「谁第一个交卷」转向「谁把东西讲明白」：正式承认「开放性阐释问题」的学术价值、支持First Proof这类完整披露正负结果的AI数学能力评估、把发表与「作者能否做一场专家级报告」绑定、11月13日至15日在加州理工举办学生自办的Mathathon，用开源AI为已有证明寻找新证明。他反复强调自己不是反AI：联合创立了SAIR，幻灯片明确标注插图由AI生成，连那份AI观点摘要本身都由Claude代笔。 他要改的只是制度奖励的对象：必须回到人类的理解上来。GitHub Pages
至于这条路能不能走通，陶哲轩自己也没有把握——他说，目前没人能对一年以上的未来做出可靠预测。这或许是这场「灵魂发问」最诚实的落点：机器能把答案递到任何人手上，但「弄懂」的快乐从来不在终点，而在挣扎本身；路径可以被代走，快乐不行。每一个习惯了先问AI再动手的人，下次想跳过过程时，也许值得先问自己：被省掉的到底是什么？GitHub Pages
