事件历史事件
陶哲轩等数学家呼吁AI公司放缓数学研究
先了解这件事
AI 综述
陶哲轩在 SAIR 演讲中公开呼吁模型公司放慢 AI 数学研究，称 AI 公司无休止加速却对后果一无所知。他提出 Proof Indigestion（证明消化不良）概念，认为 AI 只在生成解答和 Lean 形式化验证两步加速，而阐释、同行评审、写入教科书三步几乎停滞，会造成知识拥堵，并担忧数学家创造力丧失与 AI 生成证明污染训练数据。此前他曾称 AI 在数学和理论物理领域已 ready for primetime。
AI 根据报道生成 · 4 天前更新
后续时间线
10月6日
- 量子位陶哲轩在 SAIR 演讲中呼吁模型公司放慢 AI 数学研究
陶哲轩在 SAIR 最新演讲中公开呼吁模型公司放慢 AI 数学研究，称 AI 公司无休止加速却对后果一无所知。他提出 Proof Indigestion（证明消化不良）概念，认为 AI 只在生成解答和 Lean 形式化验证两步加速，而阐释、同行评审、写入教科书三步几乎停滞，会造成知识拥堵，并担忧数学家创造力丧失与 AI 生成证明污染训练数据。此前他曾称 AI 在数学和理论物理领域已 ready for primetime。他联合 Peter Scholze、邓煜、Pierre Deligne 等 25 位菲尔兹奖得主联名公开信，批评模型公司把数学当 benchmark 刷。
相关讨论
关注度走势
每天新增来源
- 10月6日新增1个来源（1家媒体、0个账号）
- 10月7日新增0个来源（0家媒体、0个账号）
- 10月8日新增0个来源（0家媒体、0个账号）
- 10月9日新增0个来源（0家媒体、0个账号）
- 10月10日新增0个来源（0家媒体、0个账号）
- 10月11日新增0个来源（0家媒体、0个账号）
- 10月12日新增0个来源（0家媒体、0个账号）
- 10月13日新增0个来源（0家媒体、0个账号）
- 10月14日新增0个来源（0家媒体、0个账号）