核心内容总结
这篇新闻聚焦2026年菲尔兹奖得主之一——加拿大数学家Jacob Tsimerman的“意外转行”：刚拿到数学界最高荣誉，他就宣布要去OpenAI做AI安全，还停止招收博士生。同时，新闻还揭示了数学界大佬集体转向AI领域的趋势，并分析了背后的深层原因和正反影响。
一、Tsimerman是谁？数学界的天才“扒手”
Jacob Tsimerman是个标准的数学天才：16岁上大学，2年读完本科，2004年奥数满分金牌，多伦多大学最年轻的数学正教授（38岁拿菲尔兹奖）。他的数学风格像“扒手”——数论学家擅长提问题，但不直接解题，而是从其他领域“偷”工具。比如解数论问题时，他会用几何、拓扑、分析学的方法，甚至把数理逻辑里的“o-minimality”（可以理解为“温顺几何”，给复杂函数套个“笼头”）搬进算术几何，解决了挂了50多年的Griffiths猜想，还沾边百万美元的千禧年难题Hodge猜想。
他的成长也挺有意思：年轻时瞧不上“举例子”，觉得只有证定理才厉害；现在却靠脑子里的“玩具案例”培养直觉，还说“失败的日子才是好日子”——因为失败能带来启发。
二、拿奖后转身AI安全？理由直接又极端
刚拿菲尔兹奖，Tsimerman就宣布转行去OpenAI做AI安全，原因很实在：
1. AI已经超越人类数学家：过去两年AI帮他把产出翻了一倍，今年5月OpenAI模型还推翻了80年的埃尔德什猜想（他是验证者之一，承认自己之前试过但放弃了）。他认为AI很快会比人类更会做数学。
2. 担心数学职业消失：他停止招博士生，因为不想让学生为“可能不存在的数学职业”做准备。
3. AI安全是紧急问题：他觉得AI会成为人类的严重威胁，而数学家能为理解大模型提供理论基础（现在AI主要靠经验调参，缺乏严格理论）。他甚至在整理资源清单，帮其他数学家转行。
三、不是孤例！数学大佬集体“投奔”AI圈
Tsimerman不是第一个：
- 小野健：57岁的解析数论权威，辞掉弗吉尼亚大学终身教授，去AI数学公司Axiom Math当“创始数学家”，负责出难题测AI极限（这家公司刚融了6400万美元）。他说“AI在我不擅长的数学领域已经远超我”。
- 行业趋势：OpenAI、Anthropic等公司都在抢数学家，甚至出现“学界给工业界出题（比如FrontierMath基准）、工业界给学界发工资”的合作模式。数学界分成三派：陶哲轩认为AI是助手，Akshay Venkatesh警惕丧失对数学的直接理解，Tsimerman则最悲观（觉得职业危险）。
四、为什么数学家离开学术界？4个硬原因
1. 算力差距：大学实验室一年算力预算最多几百万美元，而AI公司一次实验就花几千万，还有几万张高端GPU——很多猜想人类一辈子算力都不够试，只有AI公司能规模化探索。
2. 问题转移：现在数学最激动人心的问题是“自动定理证明”“形式化验证”（和AI相关），传统数论的瓶颈不是理论而是算力。
3. 环境更自由：大学教授要上课、写基金、做行政，工业实验室不用授课，行政压力小，还能攒跨学科团队。
4. 钱（但不是主要）：终身教授年薪15-35万美元，AI公司资深科学家总包50-150万美元，但对菲尔兹级大佬来说，钱是加分项，不是决定项。
五、趋势是福是祸？正反两面看
好处：
- 打破学科壁垒：数学家、物理学家、计算机科学家一起搞AI，交叉融合加速。
- AI得到理论补强：纯数学家做对齐和形式验证，能解决AI“经验调参缺乏理论”的问题。
坏处：
- 基础数学人才流失：年轻人会觉得“最好出路是去AI公司”，没人留校做纯数学，梯队变薄。
- 学术生态封闭：企业研究成果不公开，前沿理论被少数公司垄断。
- 冷门方向被抛弃：资源偏向AGI相关课题，那些长线、冷门的纯数学方向会更没人做。
最后，Tsimerman的转行像个信号：数学界最顶尖的大脑，正在把注意力从纯理论转向AI安全——这个全世界都在讨论的“新谜题”。他说“数学就是解谜”，现在他要解的是AI这个最大的谜题。