陶哲轩，智商230的华人“超级怪物天才”，13岁夺得国际奥数金牌，21岁拿到普林斯顿博士学位，300 万美元奖金全部捐出，加州大学洛杉矶分校讲席教授、博导，多国院士。

7月24号，费城。国际数学家大会刚颁完菲尔兹奖，陶哲轩上台第一句话就让全场安静了：数学正在经历一场百年危机。

我刷到这条消息，第一反应就是：这话要是别人说，我当乐子听。但陶哲轩说，真得仔细品品。

他13岁拿国际奥数金牌，至今还是IMO最年轻金牌纪录保持者。21岁普林斯顿博士毕业，31岁拿到数学界最高荣誉菲尔兹奖。智商23。

就这么个站在人类智力金字塔尖上的人，突然说行业出大事了，谁能不琢磨琢磨？

他说的危机不是数学公式错了。是AI闯进来了，而且速度比所有人想的都快。

陶哲轩在现场摆了一组数：今年5月有个叫First Proof的评测，出了10道研究级数学新题，专门给职业数学家做的那种，没有现成答案。

结果AI系统解出了7道，质量够得上发表水平。解一道题花的算力成本，才10到1000美元。

说白了，AI已经能啃动数学研究里最硬的骨头了，而且花不了几个钱。

但陶哲轩没在台上吵“AI到底行不行”。他让大家先假设AI已经行了，然后问了一句更狠的：如果解题这事儿AI也能干，那数学家存在的意义是啥？这话从一个靠解题封神的人嘴里说出来，听着特别戳心。

我特意去翻了他这几年的动态，发现这人对AI的态度变得特别快。2025年他还管AI叫“效率极低的研究生”，今年直接改口叫“初级合作者”了。

不是他善变，是他亲自带着AI一块搞研究，真干出活了。他主导的项目，原来志愿者要花几周干的活，现在AI几个小时搞定。

2023年他预测到2026年AI能成为“可靠合著者”，今年他自己承认，这个预测基本兑现了。

更让我触动的是陶哲轩的为人，2014年他拿了个数学突破奖，300万美元奖金，到手就全捐了。

别人问为啥，他就回仨字：花不完。2025年UCLA研究经费被冻结，他主动推迟领工资，到处筹钱，就为了让手底下的研究生别失学。

一个智商230的人，能为学生拉下脸去求人，这比啥天才头衔都实在。

他在演讲里提了个概念，说数学正从“证明稀缺”进入“证明过剩”时代。以后最值钱的不是做出证明，而是能验证它、理解它、把它转化成人类真正能消化的知识。

另一位菲尔兹奖得主高尔斯说得更直白：要是有一天AI生成的证明堆成山，却没人看得懂，那数学就成了一座无人光顾的墓地。数学不会死于停滞，会死于过剩。

这话听着有点瘆人，但陶哲轩不是在唱衰。他牵头成立的非营利组织SAIR Foundation，就是专门琢磨怎么让人跟AI搭伙搞科研。

他不摆天才的谱，写博客跟普通人唠数学，亲自下场试AI的边界，还一遍遍跟同行说：时代变了，得想清楚接下来怎么走。

一个站在数学顶端的人，没坐享其成，而是弯下腰琢磨新规则。300万说捐就捐的人，心里装的真不是自己那一亩三分地。

你觉得数学家会被AI取代吗？