新智元报道 两千多年来，人类最聪明的大脑， 一直在攀登同一片山脉，数学 。 从欧几里得、高斯，到希尔伯特、怀尔斯， 每征服一座山峰，都要赌上一生 。 但如今， 这个属于数学的英雄时代，结束了。 xAI联合创始人Christian Szegedy的一篇长文《数学何去何从？》，在X上炸了。 在他笔下，数学家是原始丛林里徒手攀岩的探险家， AI是一架飞机，已经把旗插上了没人爬上去过的山顶 。 孤独攀登者的时代正在结束，测绘整片大陆的时代正在开启。 数学，要毕业了 。它会走出象牙塔，变成一切科学技术进步的地基。 这一天，他押了十年 把时间拨回Szegedy的少年时代。那时，他在匈牙利最好的学校读数学特长班，每周8小时数学课，青春大半耗在了竞赛题上。 后来他在波恩大学拿到应用数学博士， 进了谷歌，一干就是十多年 。 深度学习史上好几块绕不开的基石，都刻着他的名字 。图像识别的经典网络Inception，论文第一作者是他；揭开神经网络会被「对抗样本」轻易骗过的开山论文，第一作者也是他；教科书里必讲的批归一化，是他和同事一起提出的。 2023年，他又成了 马斯克xAI的12位创始成员之一 。 但贯穿他整个职业生涯的， 始终是数学 。 2019年，他写下立场论文，主张走自动形式化这条路， 造出超人数学家 。 所谓自动形式化，就是让AI把人类写的数学，自动翻译成 机器能逐行检验的证明 。 那时他定的目标，是 2029年 。 2024年，他 把时间表提前了三年 。AI怀疑论者Gary Marcus在下面回他，我没你那么乐观。 同一年2月，他在X上和Keras之父François Chollet等人讨论打赌，押下的就是 「2026年6月之前，出现超人AI数学家」 。 然后， 2026年真的来了 。 5月，OpenAI推翻了悬置80年的单位距离猜想。7月，Anthropic研究员用Claude Fable 5 证伪了1939年提出的雅可比猜想 。 到了9月， 一切开始加速 。 9月4日，Anthropic的内部模型 只用11天，就在定理证明器Lean里写完了费马大定理的完整证明 。 9月8日，OpenAI宣布1万个Agent跑了88小时， 攻破千禧年难题Navier-Stokes方程 。 9月21日，OpenAI又称，内部模型已经 解决了100多个长期悬而未决的数学问题 。 这一切， 都发生在他最初预言的2029年之前 。 两千年，一场英雄的攀登 长文从他自己的高中毕业讲起。 毕业考结束后的头两个小时，是他这辈子最自由的时刻。 随后，空虚就来了 。 再也没有竞赛，没人再教他，也没人在乎。他写道， 「我第一次不知道，没有了它，我是谁。」 他要告诉全世界的数学家， 你们接下来要经历的，就是这种感觉 。 在Szegedy笔下， 做纯数学，就像在一片没有地图的荒野里探险 。那里比巴拿马和哥伦比亚之间那片没有路的达连隘口还难走，新手几天就会迷路、染上疟疾，或者被野兽吃掉。 探险家们干三件事， 画地图、找矿、造工具 。 最受尊敬的，是历尽艰险爬上一座高山、 在山顶画出草图的人 。 前人都失败了的山， 谁爬上去，谁就会被奉若神明 。朗兰兹纲领就是这样的成就。 造工具的人也会出名，但拿不到那种光环。找到对普通人有用的「矿」，比如发现椭圆曲线能拿来做密码学，大多数数论学家并不太在乎， 只会把它写进经费申请里 。 那些人人想征服的石头，就是猜想。它们本身往往没那么有意思， 却是检验攀岩工具的试验场 。 可探险家们留在丛林里，图的是另一样东西。 说到底，这才是人们留下来的原因。不是为了地图，也不是为了钱，而是为了那难得的一刻，一块没人在意的石头变成了一座大山，整片地形在你脚下展开。 用Mathematica之父Stephen Wolfram的话说， 纯数学是人类文明建起的最大的一座智力大厦 。 这座大厦，是两千多年里一个个孤独攀登者， 一块石头、一座山峰地垒起来的 。 一架飞机，把旗插上了山顶 然后， 飞机来了 。 莱特兄弟第一次飞行只有12秒，飞出的距离还没有一架大型客机的翼展长。Szegedy说， 这差不多就是今天AI在数学里的位置 。 直到今年， 这些飞机还很原始 ，只能飞几百米、离地几米，贵得离谱，只在少数场合派得上用场。 但过去几个月，它们已经能飞进达连隘口而不坠毁，「我们甚至降落在了几块从没人爬上去过的石头上」， 也就是解决了几个猜想 。 接下来，他写了一段寓言。 说实话，这些石头没那么有意思，我们爬它们，是为了给真正的大山磨工具，而你们的飞机飞不了那么高。 Szegedy的判断是，说「飞机够不着真正的山顶，也画不出大片地图」， 是一种静态思维的谬误 。今天的飞机，比起几个月后的都还很原始，更别说几年后。 数学，毕业了 飞机一旦便宜下来， 整片丛林都会变样 。