陶哲轩反水：从 AI 布道者到喊停者

节目开场点出核心事件：菲尔兹奖得主陶哲轩此前是 AI 搞数学最积极的布道者，最近却联合二十五位菲尔兹奖得主发声明，公开要求 OpenAI 放慢用 AI 解数学问题的速度。多数人以为他怕 AI 抢饭碗，节目提出另一种解读：他怕的是「消化不良」。

三百碗饭的胃：AI 生成证明与人类消化的错配

AI 生成数学证明的速度像开闸泄洪，OpenAI 一次性放出七百二十二篇手稿模型、跑了四千个问题，而人类消化能力有限。数学证明有正常生命周期：提出解答、验证、阐释、同行评审、写入教科书；AI 只在前两步加速，后三步几乎为零，结果是人类拥有一堆没人看得懂的证明。灯塔的比喻说明：过程没了，沿途的工具、框架与洞见也可能一并消失。

数学不允许黑箱：从证明到神谕

节目认为陶哲轩真正害怕的是黑箱——最终无法消化。数学是人类学科中最讲究每一步可检验的，从欧几里得到希尔伯特，尊严建立在「证明」二字上。而 AI 只给答案，追问下去得到的是概率分布、「涌现」和「目前没有令人满意的解释」。这已不是证明，而是神谕；验证器的漏洞说明机器说对不等于对。他喊停，是在守住「人可以不懂，但不能不问」的底线。

费曼的信条与它的前提

借费曼「我造不出来的，我就不会懂」展开：建造是理解的唯一路径，今天很多生物课只让背实验过程与结果，是错的。但这句话有前提——你造的东西得是底层规则确定、可验证的。换成造一个人：孩子是自然规律生的，你生了他，却未必懂他为什么是这个性格、为什么青春期突然不跟你说话。所以费曼那句话放到生物学上，后面还可以跟一句「我造出来了，我也不一定懂」。

白箱信条之外：真实世界与涌现

数学要求白箱，物理也要求白箱，费曼的信条就是白箱信条，但真实世界并非白箱——很多公理被提出时其实也是神谕，只是天然自洽。节目预告下一期将讲「涌现的本质」，并称那个答案可能会让更多人不舒服。