陶哲轩抛出数学2.0：警惕证明消化不良

时间 2026年10月11日 地点 线上（凤凰网科技、量子位公众号QbitAI同步报道）；原始演讲在 SAIR Foundation（科学与人工智能研究基金会）演讲 人物 - 陶哲轩（Terence Tao）：菲尔兹奖得主、加州大学洛杉矶分校（UCLA）数学系教授 - SAIR Foundation：陶哲轩参与创立的科学与人工智能研究基金会 事件详情 菲尔兹奖得主陶哲轩10月11日正式发布《数学2.0》主题演讲，抛出"数学2.0"框架，明确警告：AI正在让数学证明变得泛滥，建立在证明稀缺之上的"数学1.0"时代即将落幕。 陶哲轩把数学证明的正常生命周期拆成5个环节：生成证明、验证正确性、解释清楚、被共同体理解和接受、最终融入领域的标准理论（"正典化"）。AI目前在"生成"和"验证"两步疯狂加速，但在"解释—消化—教学"后三步进度几乎为零。 他将这种状态命名为"证明消化不良"（Proof Indigestion），比喻为20世纪初汽车突然涌入为马车设计的街道，造成全面拥堵瘫痪。 陶哲轩还用"癌症疗法实验"思想实验说明：模型通过验证≠答案有意义——AI无法替人类把关"模型是否真找到疗法"。 他坦言，原定演讲主题是《机器辅助证明》，但在OpenAI一夜甩出722篇论文、菲尔兹奖得主的猜想被扩展到四维之后，他不得不把主题调整为《数学2.0》。他在演讲结尾将数学2.0的主要瓶颈归结为"想象力"，并预告 SAIR"开放数学模型计划"的首批开放权重模型很快发布。 背景 陶哲轩对AI的态度近年经历戏剧性转变：2024年他曾把使用AI做数学比作"指导一个平庸但还算有点能力的研究生"；2026年初UCLA会议上他改称AI"ready for primetime"；本次演讲他公开呼吁"AI必须慢下来"，直言"简直是疯了，完全没理由这么快，一点理由都没有"。 更早的导火索是10月7日OpenAI一夜甩出722篇数学手稿、扫射准黎曼猜想/霍奇猜想/BSD猜想；10月9日陶哲轩牵头成立人类数学协会（AHM），联合24位菲尔兹奖得主发布声明《A Severe Misalignment of AI in Mathematics》。本次数学2.0演讲，是对前序事件的思想升华与体系化。 影响 陶哲轩《数学2.0》框架把数学界的争论从"AI能不能解题"提升到"AI如何参与科学共同体"。他主张"减少对抢先生成证明的强调，增加对解释、评审和知识整理的重视"。 这一演讲重新定义了AI时代数学家的护城河：理解能力、跨领域整合能力、提出好问题的能力。对读博教育、AI科研伦理、数学评价体系都将产生深远影响——读博的价值不再是产出论文，而是被训练成"能啃硬问题、能综合知识、能提出好问题的人"。 总结 陶哲轩用《数学2.0》演讲宣告：AI可以生成证明、验证推理，但不能替人类把关"答案是否真有意义"。数学家真正的护城河已从解题速度转向理解、训练和现实世界的目标判断。 参考来源 - 凤凰网科技：陶哲轩：数学2.0时代已至 https://tech.ifeng.com/c/8x8X9ZPT0Yb - 腾讯新闻：陶哲轩：数学2.0时代已至 https://news.qq.com/rain/a/20261011A06TAD00 - 小宇宙播客：陶哲轩阐述最新发布的"开放数学模型计划" https://www.xiaoyuzhoufm.com/episode/6aae6b5aac389df8273447ac - 今日头条：菲尔兹奖得主陶哲轩：数学AI的瓶颈在证明之后 https://m.toutiao.com/article/7691892231985054243 - 量子位公众号 QbitAI：陶哲轩：数学2.0时代已至（量子位原始发布） - 夜雨聆风：OpenAI一夜甩出722篇论文 陶哲轩：必须慢下来 https://www.yeyulingfeng.com/a/1141306.html - 黄大年茶思屋：陶哲轩 SAIR 演讲转载 http://www.chaspark.com/