分享
陶哲轩最新演讲:AI 不是来抢数学家蛋糕的,是来把蛋糕做大的
输入“/”快速插入内容
陶哲轩最新演讲:AI 不是来抢数学家蛋糕的,是来把蛋糕做大的
用户4242
用户4242
3月5日修改
🔗 原文链接:
https://mp.weixin.qq.com/s/B2zZI9FT...
原创 宝玉 宝玉 宝玉AI
2026年3月5日 08:49 美国
陶哲轩办公室有 6 块黑板,他说绝不放弃。但他刚带 50 个人用 AI 和代码解决了
2200 万道数学题
。
这位 Fields 奖得主在 2026 年 2 月的 SAIR 基金会“AI for Science: Kickoff 2026”活动上,用 17 分钟讲了一件事:
数学这个几百年没变过工作方式的领域,正在被新技术撬动。
而撬动它的关键,不是 AI 本身,而是一个大多数人没听说过的东西。
陶哲轩在 SAIR 基金会演讲现场
原始视频链接:
https://www.youtube.com/watch?v=mS9Lr43cIB4
要点速览:
•
数学可能是
最保守的学科
:200 年前的教材今天还能用,数学家是最后还在用粉笔黑板的学术群体
•
数学家不爱协作有
结构性原因
:准入门槛高、容错率为零、工作流无法扩展到互联网规模
•
形式验证
是大规模数学协作的“秘密武器”,它打破了信任壁垒,让匿名贡献成为可能
•
陶哲轩主导的等式理论项目在
三个月内解决了 2200 万个代数问题
,此前同类项目只处理过约 20 个
•
LLM 能解奥赛题但连简单算术都会出错,
必须配合验证器
才能在数学中发挥作用
•
AI 对数学最大的价值不是替代数学家攻克最难的问题,而是
处理人类没精力覆盖的海量中等难度问题
注:
SAIR(Foundation for Science and AI Research)是陶哲轩联合创办的非营利基金会,致力于用 AI 加速科学发现。本次活动由 SAIR 与 UCLA 的 IPAM 联合举办。
陶哲轩在演讲开头展示了一本
1826 年 Cauchy 写的数学教科书
。