不er，咋陶哲轩也成AI减速派了？？
2026.10.06 · 观点 · 人物观点 · 媒体报道
陶哲轩在SAIR演讲中公开呼吁AI公司放慢数学研究节奏，并联合25位菲尔兹奖得主发公开信。
陶哲轩在SAIR最新演讲中公开喊话模型公司「必须慢下来」，称AI无休止加速却对后果一无所知。他指出AI只在生成解答和Lean形式化验证两步加速，理解、消化、写教科书三步几乎为零，形成Proof Indigestion（证明消化不良）。他还联合Peter Scholze、邓煜、Pierre Deligne等25位菲尔兹奖得主联名公开信，批评AI公司把数学当benchmark刷。
- 陶哲轩SAIR演讲喊话模型公司：别解数学问题了，慢一点
- AI只在生成解答和Lean验证加速，理解消化写教科书为零
- 陶哲轩称之为Proof Indigestion（证明消化不良）
- 联合25位菲尔兹奖得主发公开信炮轰OpenAI等模型公司
- OpenAI回应成立数学与AI顾问小组，但声明不负责内部进展建议
为什么值得看
看顶级数学家为何从AI拥趸转向公开喊话减速。
适合谁关注
关注AI与科研、数学、AI治理的读者。