人工智能是否突破千禧年数学难题？

近日，清华大学教授丘成桐成为新智元的一位读者，他对最近的数学进展产生了关注。刚刚，我们报道了Claude首次成功形式化证明费马大定理，而这次成果是清华校友彭天翼基于Claude的Prove2Me系统完成的。值得注意的是，丘成桐先生还悬赏10万元，希望能获得对佩雷尔曼的庞加莱猜想证明的形式化验证。庞加莱猜想是一个著名的拓扑学定理，获得了数学界的广泛认可。

与此同时，关于千禧年难题之一的纳维-斯托克斯方程，传出Claude已找到解的消息，并正送专家审核。这一难题一直是韦东奕的研究方向，其相关成果也为他赢得了国家自然科学奖二等奖。如果消息属实，Claude的数学推理能力将超越目前许多其他人工智能模型。

数学大师陶哲轩对此表示，虽然难以确认消息的真实性，但他认为AI解决此类难题并非不可能。然而，他也提出，如果AI以黑箱方式提供解答，可能对数学发展产生负面影响。根据他的观点，著名猜想的价值在于求解过程的探索，若答案以黑箱形式得出，数学进步的机会将遭到封锁。 球友会官网

传闻最初由科技博主Andrew Curran提出，随后有多方消息互相印证。至今，克莱数学研究所仍将纳维-斯托克斯方程视为未解问题，奖金尚未被认领。陶哲轩的分析强调了求解过程所带来的工具和理论的重要性，并指出AI可能会剥夺这些探索的机会。通过历史案例可以看出，求解过程中的发现往往更为重要，而不是单纯的结果。

总之，AI在数学领域的突破虽令人鼓舞，但如果唯有答案而无过程，将可能对数学的发展带来深远的影响。