25位菲尔兹奖得主联名敲响警钟：当商业AI把世纪难题当跑分，数学文明正在遭遇什么？

25 位菲尔兹奖得主，在同一天联名签下了一份紧急宣言。 陶哲轩（Terence Tao）、彼得·舒尔茨（Peter Scholze）、詹姆斯·梅纳德（James Maynard）、皮埃尔·德利涅（Pierre Deligne）。 这份名单汇集了当今人类数学界最高规格的大脑。 他们挂在 MathAndAI.org 上的文件，标题格外刺眼： 《数学中 AI 的严重错配》。 导火索来自过去几天的一场狂欢。 商业 AI 实验室密集宣称，自己的模型攻克了顶尖数学难题。 从千禧年大奖的纳维·斯托克斯方程，到沉睡几十年的经典猜想。 科技圈在庆祝通用人工智能的曙光。 但站在人类智力最前沿的这群顶尖学者，给出的回应却是一记警钟。

这看起来违反常识。 数学家穷尽一生都在寻找难题的答案。 如果机器能把两百年没人算出来的方程算出来，难道不是数学的胜利？ 为什么全世界最懂数学的人，反倒把这件事视作一场生态危机？

答案藏在半个世纪前的一条经济学规律里。 1975 年，英国经济学家查尔斯·古德哈特（Charles Goodhart）提出了一个著名法则： 当一个度量指标被选为控制目标时，它就彻底失去了作为指标的意义。 这就是古德哈特定律。 把这台机器套进数学文明的运转史，严丝合缝。

在纯数学的真实世界里，解出一道题，从来只是副产品。 人类为什么要在荒原上立下一座座灯塔般的难题？ 费马大定理、庞加莱猜想、黎曼假设。 这些大奖难题，本质上是人类衡量自己对世界理解深度的代理标尺。 怀尔斯证明费马大定理，真正的价值不在那个打勾的答案。 在于为了翻过那座高山，人类被迫创造出模形式与椭圆曲线的深层连接。 佩雷尔曼攻克庞加莱猜想，留下的是一套重塑微分几何的里奇流工具。 这些为了摘取果实而在半路上长出来的思想枝干， 滋养了相对论、密码学、量子物理和今天的现代计算。 答案只是标尺。 理解结构才是目的。

但在商业 AI 的齿轮里，因果链条被暴力倒置了。 大模型需要向资本证明自己的推理能力。 它们需要最难被作弊、最有公关声量的跑分基准测试。 于是，人类积累了几百年的数学灯塔，被降级成了商业公司的测试赛道。 算法不关心人类是否理解。 它只需要那个断言的结果。 一万个智能体在云端集群里并发狂奔，靠算力穷举在几十个小时内烧穿数千亿个计算词元。 然后塞进编译器验证，宣布世纪难题告破。 整套推导没有提炼出任何可传授的新方法。 没有给出任何能启发物理学的新视角。 甚至没有给前人铺路的文献应有的署名。 古德哈特的魔咒在这里精准爆发： 当解题这个代理标尺变成了最终目标，工具立刻反噬了它原本服务的事业。

陶哲轩和舒尔茨在宣言里挑明的，是一场不可逆的开采危机。 一个能孕育出伟大工具的数学难题，在人类文明里是不可再生的稀缺资源。 找到一个真正的好问题，需要几代学者用直觉与品味在黑暗中淘洗。 现在，商业机器正在把整座智力公地当作免费油田来抽干。 它们把前人沉淀的遗产变成一次性的公关燃料。 机器吐出了一个人类无法消化的黑箱答案。 但它什么都没有教给人类。

比黑箱更致命的，是代际传承链的断裂。 数学从来不是一个冷冰冰的定理库。 它是一门高度依赖师徒研讨、公开争论与教材简化的活态手艺。 一个年轻学者花上五年去死磕一道难题， 目的是在撞墙的过程中磨练提出新概念的肌肉，学会向未知发问。 如果以后的难题都被云端算力在周末抢先给出断言， 年轻一代就失去了被难题打磨的土壤； 顶尖学者被迫沦为给机器排查引用、核验代码的免费质检员。 那条维系了两千年的智力接力棒，会在这一代人手里生生跌落。

一座没有新概念诞生的大厦，只是一堆由符号堆砌的逻辑废墟。 机器可以不知疲倦地量产正确的断言。 但如果人类不再理解推导背后的灵魂， 当所有的灯塔都被黑箱拔掉之后， 这世界上，还有谁来提出下一个真正伟大的问题？