OpenAI挖到最新菲尔兹奖得主，字节刚出炉的科学家计划在瞄准谁？

颁奖当天直接摊牌：新科菲尔兹奖得主火速入职OpenAI

当地时间7月23日，在费城国际数学家大会的颁奖典礼上，加拿大数学家Jacob Tsimerman刚刚捧起菲尔兹奖，就被记者问及未来打算。这位38岁的年轻数学家没有半点犹豫，直接摊牌：很快入职OpenAI，方向是AI安全。当天，OpenAI安全研究员Boaz Barak和前微软副总裁Sebastien Bubeck随即在社交媒体上欢迎他入队。这一消息迅速引爆科技圈——一位刚拿到数学界最高荣誉的顶级大脑，转身就投向了AI公司的怀抱，而且是在颁奖现场公开宣布。

从数论到AI安全：一个数学天才的转向逻辑

Tsimerman的学术履历堪称完美：16岁上大学，2004年IMO满分金牌，普林斯顿博士，多伦多大学史上最年轻的正教授。他因在André-Oort猜想和Griffiths猜想上的突破获奖，这些悬置数十年的难题被他用数理逻辑中的o-minimality工具一一攻克。然而，他对AI的态度却极为悲观。在颁奖后的采访中，他坦言AI已经让他的科研效率翻倍，2025年一年发了5篇论文，但他更担心的是“AI很快就会在证明定理上比数学家更强”。他预测，两年内AI就能在定理证明上超越人类。为此，他不仅停止招收博士生，还整理了一份资源清单，鼓励更多数学家转行做AI安全。在他看来，既然挡不住AI的发展，不如进场搞清楚它、参与塑造它，否则“我们可能会被甩下”。

四个菲尔兹奖得主，一张人才地图

本届菲尔兹奖共有四位得主：Jacob Tsimerman、王虹、邓煜和John Pardon。Tsimerman的加入让OpenAI集齐了一位“少年解题手”，但其他三位并不容易挖动。王虹与合作者证明了Kakeya猜想，学术曝光度最高，刚在IHES拿到永久职位，处于学术回报最丰厚的窗口期；邓煜则低调到获奖后继续闷头研究，连社交媒体都很少更新；John Pardon以硬核估计和组合技巧著称，但似乎对工业界兴趣不大。总结下来，四个天才中，一个已经走了，一个不缺、一个不想、一个不急。但别忘了，谷歌DeepMind、Anthropic过去一年在数学人才上的军备竞赛从未停歇。Tsimerman的学生三天前刚用AI推翻87年悬案雅可比猜想，人就在Anthropic。数学界与AI界的“挖人地图”已经清晰可辨。

字节的科学家计划：瞄准下一个菲尔兹奖得主还是AI安全人才？

在OpenAI高调揽才的同时，字节跳动刚出炉的“科学家计划”被外界视为对标之举。虽然字节尚未公开具体人选，但结合当前趋势，其目标很可能瞄准三类人：一是像Tsimerman这样兼具数学深度与AI安全意识的顶级学者，二是正在工业界与学术界之间摇摆的菲尔兹奖级解题手，三是那些在“自动定理证明”和“形式化验证”领域有突破的年轻科学家。字节的算力储备和决策链短的优势，使其有机会从老牌AI实验室手里抢人。但更关键的是，字节能否提供与学术自由相匹敌的研究环境——毕竟，让一位数学家放弃终身教职的筹码，不仅仅是年薪，而是能否继续“解决最有趣的问题”。