数学家为什么哭：机器拆了千年对话I Know Why the Mathematicians Weep

OpenAI 几个月内解出数百道百年难题，多位顶级数学家当众落泪。

过去几个月，OpenAI 扔出几百个数学证明，涵盖数论、理论计算机和逻辑。好些难题把世界最聪明的脑袋卡了几十年，甚至几百年。

数学界的反应很复杂：愤怒、震惊，还有悲伤。2022 年菲尔兹奖得主雨果·杜米尼尔-科潘说，发布当晚他哭了，把孩子都吵醒了。

他们不是在哭面子

作者打电话给康奈尔数学家史蒂文·斯特罗加茨。对方讲起阿基米德两千年前写给埃拉托色尼的信，说「未来不会缺发现者，你们可以站在我肩上」。

斯特罗加茨声音发颤：「阿基米德是在对我说话。我们是一伙的，一起找点美和超越的东西。」

现在机器把这条链子剪断了。几百个证明一次性抛出来，等于宣告：接下来轮到我们发言，你们可以闭嘴了。

知道，但不理解

AI 给出的证明往往形状怪异，连专家都看不懂推理过程。斯特罗加茨拿谷歌翻译打比方：它几乎解决了实时翻译，却没教会我们任何语言学。

这就是「没有理解的知识」。能救命，也能让人类彻底出局。

数学家可能还会教书、争论、把机器的逻辑翻译成人话。机器负责发现，人负责对话——如果人还够聪明，能保住这后半场。