AI一个月连破三个百年数学难题！88小时干完人类90年没啃动的硬骨头，专家急了

最近AI圈搞了件大事，连数学家都坐不住了。

9月11日，OpenAI动用十万块GPU、上万个AI智能体，花了88个小时，把一道让人类数学家啃了90年的纳维-斯托克斯方程给攻破了。这道题是克莱数学研究所悬赏一百万美元的"千禧年大奖难题"之一，之前多少顶级数学家穷其一生都没搞定。

同一天，GPT-6把陶哲轩等60多位菲尔兹奖得主出的FrontierMath题库——一年前AI正确率还不到2%的"地狱级"题目——50道全解出来了，测评机构直接宣布：这个榜，没法再考了，已经饱和。

再往前翻，9月4日Anthropic宣布，Claude用了11天，基本独立完成了费马大定理的形式化证明。就是那个费马在书页边上写"这里太窄写不下"、把人类数学家坑了三百多年的著名难题。

一个月内，三家AI公司轮番轰炸，攻克、饱和、碾压，词都用得很猛。但数学家们不买账，25位菲尔兹奖得主联名发声：AI公司拿数学难题当"跑分"，跟数学界追求理解、培养人才的目标，根本不是一回事。

为啥AI偏偏挑数学下手？说穿了就是性价比高。

搞生物医学，一个假说要做动物实验、临床试验，动辄好几年，烧钱无数；搞材料学，新配方要合成测试，反馈周期按年算，AI说"我发现了"还得靠人类拿仪器慢慢验证，太慢。

数学不一样。数学是个封闭世界，规则清晰，答案对错机器一秒就能验证。AI写完一大段证明，编译器跑一遍，对就是对，错就是错，不用等谁评审三年。这就跟手机厂商比安兔兔跑分一个道理——数字直观、能上头条、宣传效果拉满。

说白了，数学难题现在就是AI界的"跑分软件"。攻破一个百年猜想，宣传效果顶一百场技术发布会。对这些手握海量算力的巨头来说，无非就是让显卡多转两天的事，太划算了。

你看发布节奏也很有意思：8月黎曼猜想、9月费马大定理、9月初素数间隔、9月11日纳维-斯托克斯，你方唱罢我登场，跟苹果三星秋天发旗舰机对轰一模一样。菲尔兹奖得主刚领完奖当天就宣布加入OpenAI，跟球星拿完金球奖当天转会豪门，一个剧本。

这事对普通人意味着什么？

第一，别被"AI取代数学家"吓到。数学界追求的是"理解为什么"，AI现在做的是"解出答案"，这是两码事。真正的数学家依然稀缺，AI更像个超级实习生。

第二，未来孩子学数学，重点要变。死记硬背、刷计算量，AI比你强一万倍。真正值钱的，是提出好问题的能力、把复杂问题拆解成小问题的能力、以及判断AI答案对不对的眼光。

第三，这波"军备竞赛"才刚开始。AI公司拿数学当秀场，下一个秀场可能是代码、是科研、是设计。普通人与其焦虑，不如早一天学会把AI当工具用，别等被甩开了才着急。

你觉得AI这么搞，对数学是好事还是坏事？你家孩子还该不该让他往数学竞赛方向卷？评论区聊聊。

AI 大模型 OpenAI 数学 科技热点