数学即将进入音乐学院吗？

Is mathematics about to enter the conservatory?

就在 Claude 完成 Fermat's Last Theorem 的形式化证明当周，一篇关于 Spherical Hadwiger Theorem 的论文出现在我的收件箱中。这篇由湖南大学 Wang & Wu 撰写的预印本，似乎借助 OpenAI Codex 证明了这一自 1974 年以来的猜想。OpenAI 曾预测数学家是受 LLM 冲击最大的职业，如今这一预言似乎正在应验。这让我联想到古典音乐：当创作变得容易，我们是否会将数学像古典音乐一样送入“音乐学院”？纯数学本就处于学术界的象牙塔中，当 AI 能轻松完成证明，我们该如何重新定义人类数学家的价值？当前的支持体系已难以适应 AI 带来的新现实，我们必须在智能被硅基和电力限制的当下，找到让人类依然重要的方式。