【25位菲尔兹奖得主联名警告AI 】AI会掏空数学吗陶哲轩等25位菲尔兹奖得主联名警告：别让AI掏空数学。他们担心的不是AI已经能解多难的题，而是AI公司开始用百年数学难题来衡量模型能力。

著名猜想之所以重要，正因为它们像路标，引导几代人走向未知。就像把人直接空投到珠峰顶，和靠自己一步步登上去，终点虽然相同，留下的东西完全不同。学生花十几年研究难题，意义不只是"证出来"——那些失败的路线、对方法的判断，本身就是训练。

而AI正在把这一切压缩成"这个命题是真还是假"的答案生产。机器给证明的速度，可能远超人类理解证明的速度。数学界面对的将是一座庞大的"答案仓库"：大量正确结论，却没有多少人能解释它为什么成立。

9月8日，OpenAI 宣布：一款内部模型在纳维斯托克斯方程上给出解答，166页论文，算力投入约为此前数学研究的1000倍。这道题是千禧年七大难题之一，悬赏100万美元，二十多年过去只有庞加莱猜想被解决。而这可能还只是开始。

如果一份证明已经存在，却没有人理解它为什么成立——我们获得的是一条新的数学知识，还是一个正确答案？（APPSO）