热点事件持续更新
陶哲轩演讲批评AI公司加速解数学题
1 篇报道1 个报道来源3 小时前更新
先了解这件事
AI 综述
2026-10-06，量子位报道，陶哲轩在 SAIR 最新演讲中公开喊话模型公司“别解数学问题了”，称 AI 公司无休止加速却对后果一无所知，必须慢下来。他提出 Proof Indigestion（证明消化不良）概念，指 AI 只在生成解答和 Lean 形式化验证两步加速，理解、同行评审、写入教科书三步几乎为零，并警告数学家创造力丧失与数据污染两大隐患。
AI 根据报道生成 · 1 小时前更新
最新进展10月6日 15:59
陶哲轩在 SAIR 演讲中公开喊话模型公司“别解数学问题了”，称必须慢下来。报道时间线
沿着报道，了解事件的不同侧面。
10月6日
- 量子位陶哲轩在 SAIR 演讲转向 AI 减速派：称模型公司无休止加速"简直是疯了"
陶哲轩在 SAIR 最新演讲中公开喊话模型公司"别解数学问题了"，称 AI 公司无休止加速却对后果一无所知，必须慢下来。他提出 Proof Indigestion（证明消化不良）概念，指 AI 只在生成解答和 Lean 形式化验证两步加速，理解、同行评审、写入教科书三步几乎为零，并警告数学家创造力丧失与数据污染两大隐患。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。