数学界大地震！AI用2000美元推翻80年猜想，菲尔兹奖得主慌了？

一场关于“人类智慧”的终极拷问，正在数学界上演。

你还记得上一次被数学题难住是什么时候吗？可能是高考最后一道大题，也可能是大学期末考。但你能想象，一道让全球顶尖数学家头疼了整整80年的难题，被AI用不到2000美元的电费就解决了吗？

这不是科幻小说，而是刚刚发生的现实。就在今年，AI在数学界连干三件大事，直接让菲尔兹奖得主Timothy Gowers彻夜难眠，脑子里只有一个念头：“完了，数学家是不是要出局了？”

AI的“高光时刻”：80年难题，2000美元搞定

5月，OpenAI一个内部模型，直接推翻了埃尔德什1946年提出的单位距离猜想。这道题悬了整整80年，被普林斯顿的Noga Alon称为“离散几何里最有名的问题”。紧接着，Anthropic的Claude Fable找到了雅可比猜想的高维反例。8月，OpenAI一口气公布了内部版Astra在数学和理论计算机科学上的十项进展，从高维球堆积到格密码学，全都有突破。

最让人震惊的是什么？跑出这些结果所消耗的token，按API价算，总共大约2000美元。是的，你没看错，2000美元，可能还不够你买一台旗舰手机，但AI用它解决了几十年没人能攻克的难题。

数学家们居然很淡定？

带着“数学家该有多慌”的预期，记者在费城的ICM大会上问了20多位数学家。结果让人意外——很多人至少在短期内是乐观的。

布兰迪斯的博士生Neckrasov每月花200美元用Codex，检索文献、填补证明缺口、审稿。但他有条铁律：整个项目的图景必须先在他脑子里成形。“AI是帮我把想法跑得更快，不是替我想。”

刚拿到菲尔兹奖的邓煜认为，未来可能是数学家提出新理论、新框架，AI去做那些技术细节。“AI会变强，但到那时，我们会重新定义什么叫技术细节。”

“证明过剩”时代来临？

陶哲轩在ICM大会上的演讲，把问题放在了“数学界应该保护什么”上。他把一个数学成果的“一生”拆成六步：生成证明、验证正确、清楚写明白、正式发表、被同行消化、最后正典化写进教材。

AI能瞬间加速的，只有前两步。后面四步，慢，而且极度依赖人。陶哲轩说，我们已经非常接近这样一个场景：一个重大结果被证明出来、也被验证是对的，但没有任何人能理解它、解释它。他管这叫“证明消化不良”。

erdosproblems.com上已经堆了几十份AI生成的证明，很多大概是对的，但还没有哪位专家愿意站出来逐一核验。陶哲轩给这个转变起了个名字：数学正在从“证明稀缺”的时代，走进“证明过剩”的时代。

这对我们普通人意味着什么？

看到这里，你可能会问：这跟我有什么关系？我又不研究数学。

其实，这场变革正在悄悄改变我们每个人的生活。AI能解决数学难题，意味着它能处理更复杂的现实问题——从药物研发到气候预测，从密码安全到物流优化。那些需要“天才”才能解决的问题，现在AI都能参与。

更重要的是，这场变革重新定义了“人类智慧”的价值。就像计算器出现后，心算不再算“研究”；证明助手成熟后，验算也交给了机器。每次机器往前吃下一块，人类就往它还够不着的地方挪一步。

写在最后

AI不会取代数学家，就像计算器不会取代会计。它是一把更快的铲子，但挖矿的方向，还是得人类来定。那些需要创造力、直觉和远见的工作，依然是人类的领地。

但有一点是确定的：AI正在以我们难以想象的速度进化。今天它能推翻80年的数学猜想，明天呢？也许我们该做的不是恐慌，而是思考如何与AI共舞，把重复劳动交给它，把创造性思维留给自己。

毕竟，数学的终极目标不是证明定理，而是理解世界。而理解世界，永远需要人类的智慧。