陶哲轩警告：AI快速解题或“污染”数学研究进程

核心事实

著名数学家陶哲轩近日在社交媒体上发文，对AI在数学研究中的快速解题能力表示担忧。他举例称，OpenAI刚发布的GPT-6 Astra在孪生素数猜想方向上取得新进展，用Lean形式化证明将连续素数间距的上界从246推至186。与此同时，Anthropic和Axiom也宣布其AI将该间距缩小至188和212。陶哲轩对此评论道：“这可真是令人无语的一幕。”他还提到，牛津大学数学家Julia Stadlmann于8月31日凭借对平滑模数的新估计，将该上界缩至240，并庆幸她赶在问题被“污染”之前完成了公开分析。

背景与影响

陶哲轩指出，AI解题过快且过程不透明，可能掩盖数学研究中宝贵的“失败”探索。他以纳维-斯托克斯方程全局正则性问题为例，说明历史上人类在尝试解决该问题的过程中，催生了Leray–Hopf弱解、Gagliardo–Nirenberg–Ladyzhenskaya不等式等基础性成果。他认为，若AI在缺乏透明度的情况下直接给出答案，数学本身可能无法获得新增价值，甚至可能使AI对数学发展的影响从正面转为净负面。他强调，数学难题的价值不仅在于答案，更在于探索过程中产生的新思想和新方法。

限制与来源

以上内容基于陶哲轩在Mathstodon上的公开发文及量子位（QbitAI）的报道整理，尚未获得陶哲轩本人或相关AI公司的官方确认。文中提及的AI模型性能、数学进展及具体数据均来自报道，可能存在不准确之处。建议读者以相关机构官网及原始论文为准。本文不构成任何投资或学术建议。