陶哲轩警示 OpenAI 批量生成证明，数学界面临“证明消化不良”
2026.10.09 · 观点 · 行业动态 · 媒体报道
OpenAI 发布 719 份 AI 生成数学手稿，遭陶哲轩等学者批评
OpenAI 从 GitHub 发布了包含数百项开放难题解答的 719 份数学手稿，被指违背“数学与人工智能顾问小组”关于透明度与发布规范的建议。数学家陶哲轩批评这种工业化批量攻克难题的方式导致数学界出现“证明消化不良”，AI 仅给出答案却缺乏人类可理解的解释与学术互动。学界同时警示，将攻克难题速度作为衡量数学进步的唯一指标属于短视行为，可能使学科创新土壤面临贫瘠化风险。
- OpenAI 发布 719 份 AI 生成数学手稿
- 被指违背顾问小组透明度与发布规范建议
- 陶哲轩称数学界出现“证明消化不良”
- AI 缺乏可理解解释，破坏学术互动机制
- 以攻克速度作为唯一指标属短视行为
为什么值得看
了解 AI 批量产出数学证明对学术生态的冲击
适合谁关注
关注 AI for Science 与数学研究的读者