陶哲轩警示AI批量生成数学证明 学界面临证明消化不良乱象

数学家陶哲轩公开批评OpenAI批量发布AI生成的数学证明内容，这批从GitHub放出的719份手稿覆盖数百项公开的数学难题解答。该操作直接违背了此前“数学与人工智能顾问小组”提出的专有模型透明度和发布规范要求。

这背后最核心的问题是AI生成的证明仅给出最终答案，缺少人类研究者可理解的推导解释和学术讨论空间，直接导致数学界出现“证明消化不良”的乱象。把攻克难题的速度当成数学进步的唯一衡量标准，本质是短视行为，后续会直接挤压传统数学研究路径的生存空间。