最近，这些AI大公司仿佛疯了一般在冲刺「千禧年问题」的KPI。

9月8日，NS方程被宣布解决；9月11日，第二道千禧年难题霍奇猜想被曝接近解决；据称，O/A两家正疯狂竞速，向BSD猜想发起冲锋。

接着，又有惊人消息传来：OpenAI已经在用内部模型尝试解决黎曼猜想和P与NP问题。如果该模型证明了 P = NP，整个计算机科学领域都将被颠覆！

然而，人类数学家们已经愤怒到了极点。包括陶哲轩在内的25位菲尔兹奖得主联名开炮，矛头直指OpenAI与Anthropic：「AI正在摧毁数学本身！」他们警告称：“AI 公司的目标与数学共同体的目标存在严重错位。”

声明的核心在于他们认为把“解题”当成目标，数学就丢了“理解”。

声明开篇就承认，近几个月 LLM 数学能力大幅提升，已能解决多个领域的重要未解问题，AI 有潜力加速真正的数学研究。

但错位在“目标”。著名未解问题历来是数学景观的“地标/灯塔”——它们的价值在于解题过程中诞生新洞见、新方法、新概念，而不是最后那个“对/错”。“解决问题只是实现概念理解和洞察这一首要目标的工具和代理指标”。

指标被当成目标优化。当 AI 公司用“解决了多少未解难题”衡量进展，原本用来衡量理解的指标就变成了被追逐的目标。高速批量生产“真/假”结论，可能不是在孕育新思想，而是摧毁孕育思想的沃土。

不止数学。这是一场“对智力劳动的普遍威胁”——多年专业训练不只为了产出答案，也是为了培养理解力和提问能力。数学界、AI 公司、整个社会都需紧急回应；最终是利是弊，取决于掌握技术的人怎么选。

“随着 AI 改变工作的方式，我们如何确保自己不会忘记，这项工作最初究竟是为了什么？”