文章核心观点 - 新晋菲尔兹奖得主Jacob Tsimerman在获奖后宣布加入OpenAI的AI安全部门，这一戏剧性事件凸显了顶级数学家向AI行业流动的趋势，并反映了AI（特别是大语言模型）对传统数学研究模式的深刻冲击 [1][2][3][20] - AI正在迅速改变数学研究的范式，顶级数学家认为AI在定理证明上的能力可能在未来两年内超过人类，这将导致以“解决问题”为核心的数学职业发生根本性转变 [21][35][36][45] - AI实验室（如OpenAI、Anthropic、谷歌DeepMind）正在积极招募顶尖数学人才，尤其是具备强大“解决问题”能力的数学家，以推动AI推理能力的发展，这引发了一场人才军备竞赛 [59][60][79][80] Jacob Tsimerman的背景与观点 - 卓越的学术成就：Jacob Tsimerman是2026年菲尔兹奖得主，解决了悬置近40年的André-Oort猜想，曾是国际数学奥林匹克竞赛（IMO）满分金牌得主，并成为多伦多大学史上最年轻的正教授 [8][9][11][12] - 对AI的激进看法：他认为AI有相当大的可能导致人类灭绝，并曾撰写学术论文对“AI如何灭绝人类”进行分类学研究，但同时，他日常使用ChatGPT和Claude等AI工具，使其科研效率翻倍，在2025年上传了5篇数学论文 [3][4][41][46] - 职业转变的逻辑：尽管担忧AI风险并支持暂停AI开发，但他认为这无法实现，因此选择加入OpenAI的AI安全部门，旨在从内部参与塑造AI，以避免被技术浪潮甩下 [50][51] AI对数学研究的影响与预测 - 研究范式变革：Jacob将数学工作分为“解决问题”和“构建理论”，他认为AI“神谕机”（能即时判断命题真伪）的出现，将使“解决问题”为主导的现代数学研究发生根本性改变，整个研究方向可能在几天内被开创并终结 [28][37][38][39] - 能力超越时间表：他预测AI在证明定理上的能力可能在两年内超过数学家，届时数学家只需提出命题，由AI完成证明 [36][45] - 已有实证案例：其学生Levent Alpöge（现为Anthropic数学家）使用Claude Fable 5，一夜之间找到了悬置87年的“雅可比猜想”的反例，仅用216个字符，这印证了AI解决重大数学难题的潜力 [6][84][86][87][92] 本届菲尔兹奖得主的行业动向分析 - 人才流向评估：根据数学家“解决问题”的能力与AI实验室需求的匹配度，分析本届四位菲尔兹奖得主的潜在行业流动性 [56][59][60] - Jacob Tsimerman：已加入OpenAI [20] - 王虹：调和分析专家，其研究方向（如Kakeya猜想）与AI推理需求高度契合，公众声量高，是猎头的重点目标，但因刚获得法国高等科学研究所（IHES）职位，短期主动离开学术界的动力不大 [63][64][65][66][67] - 邓煜：研究方向偏数学物理和偏微分方程，离当前AI推理主战场稍远，且本人对获奖反应平淡，跳槽意愿可能较弱 [68][70][71][72] - John Pardon：辛拓扑方向，属于“少年解题手”，但研究方向抽象，AI短期内难以介入，因此目前跳槽不紧迫 [73][74][75][76][77] - 总结：当前态势是“一个已经走了，一个不缺、一个不想、一个不急”，但AI实验室激烈的人才争夺可能很快改变这一局面 [78][79] AI公司的竞争格局 - 人才军备竞赛：谷歌DeepMind、OpenAI、Anthropic等顶级AI实验室在过去一年里，争夺数学人才的激烈程度不亚于争夺工程师 [80] - 师徒分属竞对：Jacob Tsimerman加入OpenAI，而其学生Levent Alpöge效力于Anthropic，形成了“师徒二人，一人一家”的竞争局面，凸显了行业对顶尖数学人才的渴求 [7][95][96][99][100]