2026年7月23日，在美國費城開幕的國際數學家大會上，2026年菲爾茲獎得主揭曉。加拿大數學家Jacob Tsimerman憑藉在André-Oort猜想上的證明工作獲獎，該猜想是算術幾何領域的核心難題，懸置近40年。然而，領獎後的記者會上，Tsimerman宣佈自己很快將入職OpenAI，研究方向為AI安全，引發數學界和AI圈熱議。

Tsimerman並非AI技術的盲目樂觀者。他曾在2025年與長期研究AI安全的Andrew Critch合作，發表論文《涉及AI的滅絕性未來的分類》，系統分類了AI可能導致人類滅絕的路徑。他的X賬號自2014年註冊以來僅釋出過一條帖子，討論數學家將如何因AI失業。儘管如此，他選擇加入OpenAI，理由是：儘管支援暫停AI發展，但認為這不會發生，與其站在門外批評，不如進入其中影響技術方向。

Tsimerman的職業生涯堪稱傳奇。1988年生於俄羅斯喀山，隨家人移居以色列後定居加拿大。他連續兩屆代表加拿大參加國際數學奧林匹克競賽，2004年獲得滿分金牌。16歲進入多倫多大學，兩年完成本科，2011年於普林斯頓大學獲博士學位，後成為多倫多大學數學系史上最年輕的正教授。他日常使用AI輔助研究，稱AI工具使科研效率翻倍，但強調AI給出的證明常錯，卻能提供正確方向，幫助完成80%的工作。他預測兩年內AI在定理證明上可能超越人類數學家。

Tsimerman並非首位從學術界轉向AI產業的頂尖數學家。2025年底，57歲的美國數論學家小野健辭去弗吉尼亞大學終身教授職位，加入其24歲前學生洪樂潼創辦的AI數學公司Axiom Math，擔任“創始數學家”。該公司成立不久即完成6400萬美元融資，目標打造能像數學家一樣推理的AI。小野健的加入源於2023年一場AI數學研討會，他親眼見證AI解決其不熟悉領域的問題，意識到AI已開始參與真正數學研究。

AI公司對數學家的爭奪正在加劇。去年成立的AI創業公司Logical Intelligence，請來圖靈獎得主楊立昆擔任技術研究委員會主席，菲爾茲獎得主Michael Freedman擔任首席數學官。隨著大模型進入推理時代，數學能力成為衡量模型智慧的關鍵指標，數學家直接參與模型訓練、測試和評估。例如，OpenAI支援的FrontierMath測試集由約40位職業數學家設計，題目達科研級難度。

Tsimerman的學生Levent Alpge，現為Anthropic的數學家，近日藉助Claude發現雅可比猜想的一組反例，引發學界討論。從導師獲菲爾茲獎到學生進入AI公司，人才流動路徑日益清晰。這場變化表明，前沿數學研究正從學術殿堂直接進入產業競爭，AI公司爭奪的不再僅是工程師，而是能推動基礎研究的數學家。