在刚刚结束的国际数学家大会（ICM）开幕式上，上演了堪称数学界“转会”的一幕。 2026年7月23日，刚在费城领完数学界最高荣誉——菲尔兹奖的Jacob Tsimerman，当场宣布了一个令全场惊愕的决定：他将很快入职OpenAI，从事AI安全研究。
这位履历耀眼的数学家，身上充满了戏剧性的反差。他16岁就斩获国际数学奥林匹克（IMO）满分，是多伦多大学史上最年轻的正教授，并因终结了悬置近40年的算术几何核心难题André-Oort猜想而获奖。然而，他却可能是该奖项历史上对数学职业未来最悲观的一位得主。
打开Jacob的社交媒体账号，他在十多年的账号历史中只发布过一条帖子，内容却极为震撼。他直言，自己几乎所有时间都在解决问题，而一旦某个核心猜想被解决，整个研究领域和学术共同体都将“消失”。他更为此给出了一个惊人的时间表：“两年内，AI在证明定理上可能就比我们强了。 到时候我们只需要说：这是命题，去证吧。”
这并非危言耸听。Jacob透露，AI已让他的科研效率翻倍，其日常工作流就是利用ChatGPT和Claude摸清问题边界、证明引理，尽管AI给出的证明常有错，但能指引正确方向，帮他完成80%的工作。
更令人意外的是，Jacob曾撰写过一篇论文，专门为“AI如何导致人类灭绝”建立了一套分类学。他明确表示认为AI有相当大的可能导致人类灭绝。
既然心存如此大的担忧，为何还要加入AI公司？他在此前的访谈中给出了逻辑自洽的回答：他支持暂停AI研发，但不认为这会发生。既然浪潮挡不住，“与其站在外面抵制，不如进场搞清楚它、参与塑造它，否则我们可能会被甩下。 ”这解释了他选择加入OpenAI安全部门的深层动机。
这一动向也让人们开始盘点本届四位菲尔兹奖得主未来的可能性。按照Jacob自己的分类，AI实验室最渴求的是“解决问题型”的数学家，而这恰恰是当前顶尖推理模型最对口的能力。
更具戏剧性的是，就在颁奖三天前，他的学生Levent Alpöge刚利用Anthropic发布的Claude Fable 5模型，一夜之间推翻了悬置87年的雅可比猜想。这位学生目前已在Anthropic任职。如今，老师签了OpenAI，师徒二人分别效力于AI安全领域的两大竞争对手。
本届菲尔兹奖的含金量本身就极高，同时终结了包括Kakeya猜想、希尔伯特第六问题部分和André-Oort猜想在内的多桩世纪悬案。然而，领奖台上的主角却已开始思考如何在一个AI或将重塑一切的数学世界里，找到人类数学家的新位置。
Jacob Tsimerman的抉择，或许正是数学这门古老学科与人工智能历史性交汇的一个标志性注脚。当最顶尖的解题者开始担忧自己的职业并投身于塑造变革的力量时，数学的未来，正被重新定义。
