AI 批量写数学证明，翻车比发论文还快。 10月7日，OpenAI 把 722 篇数学手稿一次性丢上 GitHub，没走同行评审。 10月8日，首次勘误就来了：撤回 3 篇、修订 14 篇。 导火索是一篇霍奇猜想论文里一个写反的符号：关键论证里 +1，按约定应该是 -1。一个正负号，拖垮三篇论文。 陶哲轩已经出来警告：数学界面临证明消化不良，AI 生成证明的速度，远超人类验证消化的速度。 以后再看 AI 数学成果，记住一条：先看勘误，再看结论。
🌐 链接: https://x.com/taiyanghere/status/2108756730251542735
🏷️ 分组: X｜太阳（taiyanghere）
🕒 时间: 2026-10-10 11:09:17
🌐 链接: https://x.com/taiyanghere/status/2108756730251542735
🏷️ 分组: X｜太阳（taiyanghere）
🕒 时间: 2026-10-10 11:09:17
X (formerly Twitter)
太阳 (@taiyanghere) on X
AI 批量写数学证明，翻车比发论文还快。
10月7日，OpenAI 把 722 篇数学手稿一次性丢上 GitHub，没走同行评审。
10月8日，首次勘误就来了：撤回 3 篇、修订 14 篇。
导火索是一篇霍奇猜想论文里一个写反的符号：关键论证里 +1，按约定应该是 -1。一个正负号，拖垮三篇论文。
陶哲轩已经出来警告：数学界面临证明消化不良，AI 生成证明的速度，远超人类验证消化的速…
10月7日，OpenAI 把 722 篇数学手稿一次性丢上 GitHub，没走同行评审。
10月8日，首次勘误就来了：撤回 3 篇、修订 14 篇。
导火索是一篇霍奇猜想论文里一个写反的符号：关键论证里 +1，按约定应该是 -1。一个正负号，拖垮三篇论文。
陶哲轩已经出来警告：数学界面临证明消化不良，AI 生成证明的速度，远超人类验证消化的速…
