陶哲轩最新演讲：AI 不是来抢数学家蛋糕的，是来把蛋糕做大的

用户4242

3月5日修改

原创宝玉宝玉宝玉AI2026年3月5日 08:49 美国

陶哲轩办公室有 6 块黑板，他说绝不放弃。但他刚带 50 个人用 AI 和代码解决了 2200 万道数学题 。​

这位 Fields 奖得主在 2026 年 2 月的 SAIR 基金会“AI for Science: Kickoff 2026”活动上，用 17 分钟讲了一件事： 数学这个几百年没变过工作方式的领域，正在被新技术撬动。 而撬动它的关键，不是 AI 本身，而是一个大多数人没听说过的东西。​

陶哲轩在 SAIR 基金会演讲现场

要点速览：

•
数学可能是 最保守的学科 ：200 年前的教材今天还能用，数学家是最后还在用粉笔黑板的学术群体​

•
数学家不爱协作有 结构性原因 ：准入门槛高、容错率为零、工作流无法扩展到互联网规模​

•
形式验证 是大规模数学协作的“秘密武器”，它打破了信任壁垒，让匿名贡献成为可能​

•
陶哲轩主导的等式理论项目在 三个月内解决了 2200 万个代数问题 ，此前同类项目只处理过约 20 个​

•
LLM 能解奥赛题但连简单算术都会出错， 必须配合验证器 才能在数学中发挥作用​

•
AI 对数学最大的价值不是替代数学家攻克最难的问题，而是 处理人类没精力覆盖的海量中等难度问题​

注： SAIR（Foundation for Science and AI Research）是陶哲轩联合创办的非营利基金会，致力于用 AI 加速科学发现。本次活动由 SAIR 与 UCLA 的 IPAM 联合举办。​

陶哲轩在演讲开头展示了一本 1826 年 Cauchy 写的数学教科书 。​

陶哲轩最新演讲：AI 不是来抢数学家蛋糕的，是来把蛋糕做大的​