7.1
深览指数
科技微博·量子位··AI 生成
不er，咋陶哲轩也成AI减速派了？？
陶哲轩在SAIR 2026演讲中公开呼吁AI公司放慢速度，称当前AI在数学领域“证明消化不良”，产生大量无人能理解的证明，导致知识拥堵与创造力危机。文章对比了他半年前积极拥抱AI、预言“哥白尼革命”，到如今公开反对的180度转变。作者以调侃语气梳理了以陶哲轩为代表的数学界精英与OpenAI等模型公司的对立，并提及25位菲尔兹奖得主联名抗议与OpenAI回应成立顾问小组但限制其影响力的细节。适合关注AI对基础科学冲击、科技伦理博弈的读者。原文 ↗
核心观点
- ▍AI在数学领域过度加速解题，产生大量人类无法理解的证明，导致“证明消化不良”和知识拥堵，这是数学界当前面临的真正危机。
- ▍数学研究的核心价值不在于解决难题本身，而在于解题过程中建立工具、理论和洞见；AI跳过这一过程直接给出答案，破坏了数学创新的土壤。
- 01陶哲轩打比喻:未解决的数学问题像灯塔，灯塔本身不是目的地，但照亮了整片海域让人们安全航行；AI直接跳到答案等于抹杀了灯塔的价值。
- 02陶哲轩指出完整的数学证明生命周期有五步：提出解答→机械验证→阐释工作→同行评审→写入教科书。AI仅在第一步和第二步加速，后面三步进度几乎为零。
- 03陶哲轩提出两大隐患:1)智子危机——AI直接给出答案消灭了漫步式探索带来的偶发灵感；2)数据污染——若未来学术界充斥人类无法理解的AI证明，下一代AI训练数据将被污染。
- 04陶哲轩3个月前在IPAM会议上还呼吁同行拥抱AI，称AI已“ready for primetime”；接受MIT科技评论专访时称“数学正经历哥白尼革命”。
- 05菲尔兹奖得主Cédric Villani看到OpenAI拿下千禧难题后评价“跟世界末日一样”“数学界有史以来从未见过的浩劫”。
- 0625位菲尔兹奖得主联名公开信炮轰OpenAI,称AI公司把数学当benchmark打的做法与数学界追求的目标严重错位,数学研究珍贵的是推导过程中的“认知摩擦”。
- 07OpenAI回应成立设在普林斯顿高等研究院的“数学与人工智能顾问小组”，但声明中写道“不负责就数学上的内部进展提供建议”，作者解读为限制其影响力。
反方 / 局限
- — 作者观察到评论区网友对数学界并无共鸣，反而有“画家倒下时陶哲轩在哪”等调侃，暗示数学界在AI冲击下的“特权”心态可能不被公众认可。
陶哲轩Cédric VillaniPeter Scholze邓煜Pierre DeligneEdward WittenTimothy GowersMartin HairerMelanie Matchett WoodCamillo De LellisOpenAI普林斯顿高等研究院SAIRIPAM会议千禧难题证明消化不良菲尔兹奖Lean
7 分钟 · 4 卡片 · 11 资料
读原文 →