陶哲轩质疑 OpenAI：719 篇 AI 数学证明，人类真的理解了吗？

陶哲轩质疑 OpenAI 发布 719 份 AI 数学证明，认为高速生成但人类来不及验证理解会破坏数学研究生态。OpenAI 仅 10 份手稿附推理链，约 42% 未经形式化处理。此事延续自 10 月 6 日 GitHub 发布 722 份后撤回 3 份的公开目录。