xAI联创宣判数学毕业：两千年英雄史彻底落幕

新智元报道，xAI联合创始人Christian Szegedy在X上发布长文《数学何去何从？》，宣判纯数学的"孤胆英雄时代"彻底结束。他将传统数学比作在原始丛林里徒步探险，数学家徒手攀岩；而AI是一架飞机，已经把旗插上了没人爬上去过的山顶。 **十年押注，全部应验** Szegedy少年时在匈牙利读数学特长班，后来在波恩大学拿到应用数学博士，曾在谷歌工作十多年，2023年成为马斯克xAI的12位创始成员之一。 2019年，他预言2029年会出现超人AI数学家；2024年把时间表提前到2026年6月。 结果：全部应验，甚至更快。 **2026年AI数学里程碑**： • 5月：OpenAI推翻悬置80年的单位距离猜想 • 7月：Anthropic用Claude Fable 5证伪1939年雅可比猜想 • 9月4日：Anthropic内部模型11天在Lean里写完费马大定理完整证明 • 9月8日：OpenAI宣布1万个Agent跑88小时，攻破千禧年难题Navier-Stokes方程 • 9月21日：OpenAI称内部模型已解决100多个长期悬而未决的数学问题 **数学毕业了** Szegedy的判断是：数学不是要死了，是被迫"毕业"了——它将走出象牙塔，变成一切科学技术进步的地基。 飞机一旦便宜下来，谁付得起钱都能包一架降落。未来的数学大牛不再是拿着羊皮纸徒手攀岩的孤胆英雄，而是掌控"AI机队"的舰队指挥官。选择哪片地形值得探索、指挥飞机编队、把发现讲给全世界听——这将是三种新本事。 **各方反应** • Mathematica之父Stephen Wolfram：对"不再需要人做数学"的说法"有点不耐烦"，纯数学永远不会做完 • 帝国理工数学家Kevin Buzzard：用"悲伤五阶段"给数学界画了像（否认、愤怒、讨价还价、抑郁） • 菲尔兹奖得主舍尔策：公开表示不愿意用AI，"愿意为此死守到底" • 斯坦福数学家Jared Duker Lichtman：从2019年读研究生时起就在等这一刻 **长文最后** "数学即将毕业。它会成长为一个完整的产业，成为一切科学技术进步真正的基础设施。孤独攀登者的时代正在结束，测绘整片大陆的时代正在开启。至于我，已经等不及要坐着超音速飞机，去看那些广阔的山脉了。"