2026年7月23日，在費城舉行的國際數學家大會上，2026年菲爾茲獎得主揭曉。獲獎者之一、多倫多大學數學教授Jacob Tsimerman在領獎後的記者會上宣佈，他將很快入職OpenAI，研究方向為AI安全。這一訊息迅速在數學界和AI圈引發熱議。

Jacob Tsimerman出生於1988年，曾連續兩屆代表加拿大參加國際數學奧林匹克競賽並獲金牌，2004年取得滿分。他16歲進入多倫多大學，兩年完成本科，後在普林斯頓大學獲博士學位，併成為多倫多大學數學系史上最年輕的正教授。此次獲獎表彰他在André-Ort猜想上的證明工作，該猜想是算術幾何領域的核心難題，懸置近40年。他也成為首位在加拿大高校任職期間獲菲爾茲獎的數學家。

Jacob並非對AI盲目樂觀。2025年，他曾在arXiv發表論文《涉及AI的滅絕性未來的分類》，與AI安全研究者Andrew Critch合作，系統分類AI可能導致人類滅絕的路徑。他的X賬號自2014年註冊以來僅釋出一條帖子，討論數學家將如何失業。然而，他在採訪中表示，自己支援暫停AI發展，但認為這不會發生，因此選擇進入AI公司以理解並影響技術方向。他透露，日常研究已離不開ChatGPT和Claude，AI工具使他的科研效率翻倍，並預測兩年內AI在證明定理方面可能超越人類數學家。

Jacob的選擇並非孤例。2025年底，57歲的美國數論學家小野健（Ken Ono）辭去弗吉尼亞大學終身教授職位，加入自己24歲前學生洪樂潼創辦的AI數學公司Axiom Math，擔任創始數學家。小野健是美國數學會會士，國際知名解析數論學者。Axiom Math成立於2024年，已完成6400萬美元融資，其自主研發的Axiom Prover在4個月內連續攻克兩道懸置數十年的數學問題。

更早的案例包括AI創業公司Logical Intelligence，成立僅一年便聘請圖靈獎得主楊立昆擔任技術委員會主席，菲爾茲獎得主Michael Freedman擔任首席數學官。此外，OpenAI支援的數學能力測試集FrontierMath由約40位職業數學家設計，題目達到科研級難度。就在Jacob獲獎前幾天，Anthropic數學家Levent Alpge藉助Claude發現雅可比猜想的一組反例，而Levent本科導師正是Jacob。

這些案例顯示，AI公司對數學家的爭奪已從演算法工程師擴充套件到推動基礎研究的理論數學家。隨著大模型進入推理時代，數學能力成為衡量模型智慧水平的關鍵指標，從形式化推理到複雜問題求解，都需要數學家直接參與模型訓練、測試和評估。頂尖數學家的舞台正從大學和研究所擴充套件到OpenAI、Anthropic、Google DeepMind等AI公司，數學研究本身正成為產業競爭的前沿。