四位得主里，中國籍?dāng)?shù)學(xué)家鄧煜、王虹歷史性地首次拿下菲爾茲獎，北大一夜之間變成「雙菲」母校。另外兩位是加拿大數(shù)學(xué)家 Jacob Tsimerman（雅各布 · 齊默爾曼）和美國數(shù)學(xué)家 John Pardon（約翰 · 帕登）。
值得說道的是 Tsimerman 這位。
他今年 38 歲，加拿大機構(gòu)第一位菲爾茲獎得主，16 歲上大學(xué)，兩年讀完本科，2004 年國際數(shù)學(xué)奧林匹克滿分金牌，是多倫多大學(xué)數(shù)學(xué)系史上最年輕的正教授。
拿獎的理由是他把 o-minimality 這個來自數(shù)理邏輯的工具搬進了算術(shù)幾何和復(fù)代數(shù)幾何，順手證明了 Griffiths 猜想。此外，他還參與完成了困擾數(shù)學(xué)界幾十年的 Andr é -Oort 猜想。
好家伙，這履歷，標(biāo)準(zhǔn)的天才劇本。
然而劇情不按常理出牌，頒獎當(dāng)天的獲獎?wù)咝侣劙l(fā)布會上，有人問他接下來打算做什么。剛拿完菲爾茲獎的他表示，已經(jīng)開始轉(zhuǎn)向 AI 安全了，并且很快就要去 OpenAI 的安全部門上班。
數(shù)論學(xué)家是數(shù)學(xué)界的「扒手」
先具體說說 Tsimerman 是干嘛的。
Tsimerman 自己有個特別精準(zhǔn)的比喻：數(shù)論學(xué)家是數(shù)學(xué)界的扒手。
啥意思？
數(shù)論負(fù)責(zé)提問，但不負(fù)責(zé)解題。費馬大定理就是典型例子，a 的 n 次方加 b 的 n 次方等于 c 的 n 次方，n 大于 2 時沒有整數(shù)解。這句話小學(xué)生都聽得懂，數(shù)學(xué)家們證了三百多年，最后靠安德魯 · 懷爾斯用一整套現(xiàn)代數(shù)論工具才拿下。
問題好提，解法難找。所以數(shù)論學(xué)家的日常，就是到處「偷」別的領(lǐng)域的工具。
想解一個多項式的整數(shù)解？太難了。那換個思路：先看它的實數(shù)解。比如 x +y =25，這種整數(shù)解叫畢達(dá)哥拉斯三元組，找起來出奇地麻煩；但實數(shù)解滿地都是，你畫個圓就完事了，圓上隨便取一點就是一組解。
扒手的活兒正式開工：
把圓拉扯變形當(dāng)成一個環(huán)，拓?fù)鋵W(xué)的工具就能用了；保持圓的剛性，研究什么形狀能穿過去、張力多大，微分幾何和黎曼幾何來了；研究圓上函數(shù)的行為，分析學(xué)也來了。
Tsimerman 自己感慨了一句：這個世界美得毫無道理，那些形狀、幾何、拓?fù)?，居然真的能告訴你數(shù)論的答案。
多項式是最老實的函數(shù)，可你一旦開始求積分、求反導(dǎo)數(shù)，各種妖魔鬼怪就冒出來了：三角函數(shù)無限震蕩，對數(shù)指數(shù)函數(shù)圖像無限長，還有皮亞諾曲線，明明是一條線，卻能把整個正方形填滿。
數(shù)學(xué)家需要一個籠頭，把這些野東西馴服。Tsimerman 找到的工具，來自數(shù)理邏輯里的 o-minimality（o 代表 ordered）。
定義聽起來樸素得離譜：一個形狀是 o-minimal 的，如果任何一條直線跟它相交，交點只有有限多個點和區(qū)間。
就這？就這。
但它精確定義了什么叫「溫順的幾何」。Tsimerman 和 Benjamin Bakker、Yohan Brunebarbe 一起證明了：數(shù)論和算術(shù)幾何里用得極廣的 Hodge 理論，就活在這個 o-minimal 的世界里。
而他的成果還牽著 Hodge 猜想，就是那七道百萬美元千禧年難題之一。
順便說個有意思的細(xì)節(jié)。年輕時的 Tsimerman 特別瞧不上舉例子這件事。他說，當(dāng)時覺得證定理才是厲害的人干的事，舉例子是本事不夠才做的，我這輩子只想寫變量，一個具體數(shù)字都不寫。
現(xiàn)在呢，他的數(shù)學(xué)直覺全靠腦子里那一大堆例子撐著。他說，構(gòu)造這些玩具案例的時刻，是他最鮮活的時刻。你要問他最近在忙啥，他會告訴你：手上有 20 個問題，20 個都卡住了。
「這是老生常談，但我確實在所有事情上不停失敗，最后做出來的那點東西，只是從裂縫里漏出來的一點點成功。」
他的秘訣是學(xué)會從「不算成功」里獲得滿足感。
「最有啟發(fā)的時刻，恰恰是某個方法行不通的時候。我試了個想法然后失敗了的那一天，我覺得是好日子。」
那么一個 38 歲、剛拿到數(shù)學(xué)界最高榮譽、被導(dǎo)師 Peter Sarnak 評價為「少數(shù)幾個此類基本問題得到解決的高維情形之一」的成果的人，接下來該干嘛？
按常理，應(yīng)該是繼續(xù)攻猜想，帶學(xué)生，成為一代宗師。然而，他在菲爾茲獎的新聞發(fā)布會上卻表示要轉(zhuǎn)行弄 AI 了。
他在發(fā)布會上的原話大意是：轉(zhuǎn)個方向，看起來挺酷的。我已經(jīng)開始轉(zhuǎn)向 AI 安全了，并且很快就要去 OpenAI 的安全部門任職。
他還說，自己正在整理一份資源清單，專門給想轉(zhuǎn)行到這個領(lǐng)域的數(shù)學(xué)家用。他覺得這是個非常重要的方向，希望不只是數(shù)學(xué)家，而是更多人都能參與進來，只不過數(shù)學(xué)家是他熟悉的群體。
并且在他看來，過去兩年，AI 靠總結(jié)論文和起草證明把他的產(chǎn)出翻了一倍，而他認(rèn)為這只是開始：「我覺得它很快就會在做數(shù)學(xué)這件事上比數(shù)學(xué)家更強?！?/p>
而更實在的動作是，他已經(jīng)停止招收博士生。理由是他不想讓學(xué)生為一個「可能不復(fù)存在的數(shù)學(xué)職業(yè)」做準(zhǔn)備。
至于為什么這么悲觀，有個直接的刺激事件：今年 5 月，OpenAI 的模型推翻了懸置 80 年的埃爾德什單位距離猜想，125 頁證明，九位頂尖數(shù)學(xué)家參與驗證，評價是「如果由人類提交，可以直送《數(shù)學(xué)年刊》」。
有意思的是，Tsimerman 之所以轉(zhuǎn)向 AI，是因為在他看來，數(shù)學(xué)家可以為理解大模型提供理論基礎(chǔ)。
「這（AI）主要還是一門經(jīng)驗和工程的科學(xué)。如果我們能更好地理解這些東西是怎么工作的，也許就能更好地引導(dǎo)它們、理解它們、控制它們。」
他還表示：「以大多數(shù)人的標(biāo)準(zhǔn)衡量，我的觀點相當(dāng)極端。我認(rèn)為 AI 會成為對社會、對人類的嚴(yán)重威脅?！挂虼?，一個剛拿菲爾茲獎的數(shù)論學(xué)家，將把余生押在 AI 安全上。
老朋友和新面孔
Tsimerman 不是孤例。
去年 12 月，57 歲的 Ken Ono（小野?。┺o掉了弗吉尼亞大學(xué)的終身講席教授。解析數(shù)論權(quán)威，美國數(shù)學(xué)會會士，履歷厚得能砸死人。
他去了哪兒？去了自己 24 歲前學(xué)生洪樂潼（Carina Hong，MIT 數(shù)學(xué)本科、摩根獎得主、羅德學(xué)者）創(chuàng)辦的 AI 數(shù)學(xué)公司 Axiom Math，當(dāng)?shù)?15 號員工，頭銜叫「創(chuàng)始數(shù)學(xué)家」，工作內(nèi)容是出難題，設(shè)計題目去測 AI 的極限。
觸動他的是 2023 年一場 AI 數(shù)學(xué)研討會。
他的原話是：在我不擅長的數(shù)學(xué)領(lǐng)域，AI 已經(jīng)遠(yuǎn)遠(yuǎn)超過我。之后他思考好幾個月，最后想通了：AI 不是來取代數(shù)學(xué)家的，它是來改變數(shù)學(xué)的做法的。
而這樣的公司正在成群出現(xiàn)：OpenAI、Anthropic，還有 Harmonic、Logical Intelligence、Math Inc. ……
更微妙的是 FrontierMath 這個基準(zhǔn)，約 40 位數(shù)學(xué)家（包括 Ken Ono）為 AI 編研究級數(shù)學(xué)考題，OpenAI 提供支持。學(xué)界給工業(yè)界出題，工業(yè)界給學(xué)界發(fā)工資，兩邊已經(jīng)很難分開了。
包括現(xiàn)在數(shù)學(xué)界大致分成三派。
陶哲軒表示 AI 是強大的助手；菲爾茲獎得主 Akshay Venkatesh 則認(rèn)為需要警惕，數(shù)學(xué)家可能會喪失對數(shù)學(xué)本身的直接理解和體驗。
最硬的一條是算力。 傳統(tǒng)學(xué)術(shù)實驗室的年度算力預(yù)算，幾十萬到幾百萬美元。而前沿 AGI 研究，一次大規(guī)模實驗就是幾千萬美元。
大學(xué)能做的只有小規(guī)模理論推演，OpenAI、Anthropic 手里握著幾萬張高端 GPU 和私有數(shù)據(jù)集。Tsimerman 的意思不言而喻：很多猜想，人類一輩子的算力都不夠試，只有 AI 公司的算力能規(guī)模化探索。
問題本身也轉(zhuǎn)移了。 對數(shù)學(xué)家來說，自動定理證明、形式化驗證，現(xiàn)在是最激動人心的開放問題；傳統(tǒng)數(shù)論和幾何的很多瓶頸，卡的不是理論而是算力。
還有機構(gòu)環(huán)境的差別。 大廠研究院官僚化了，資源向能快速產(chǎn)品化的項目傾斜，長線高風(fēng)險的基礎(chǔ)探索被壓縮。相比之下，創(chuàng)業(yè)型 AI 實驗室決策鏈條短，目標(biāo)更純粹。
日常損耗同樣勸退。 終身教授要上本科課、招博士、做行政評審、不停寫基金申請書。工業(yè)實驗室不用授課，行政壓力極低，可以直接攢跨學(xué)科團隊。
錢當(dāng)然也在里面，但排在后面。 終身教職年薪 15 到 35 萬美元，頭部 AI 企業(yè)資深科學(xué)家總包普遍 50 到 150 萬美元。對菲爾茲級別的人來說，錢通常是加分項而不是決定項。
那么這是好事還是壞事呢？
正面看，學(xué)科壁壘被打破了，數(shù)學(xué)家、物理學(xué)家、計算機科學(xué)家被放進同一個目標(biāo)里，交叉融合的速度確實在加快。
OpenAI、Anthropic 正在演變成私人資助的高級研究院，有點當(dāng)洛克菲勒研究所的意思。而大批純數(shù)學(xué)家入場做對齊和形式驗證，對「經(jīng)驗調(diào)參為主、缺乏嚴(yán)格理論」的大模型行業(yè)來說，是實打?qū)嵉难a強。
基礎(chǔ)人才梯隊會被抽薄。
大學(xué)的成果基本都公開發(fā)表，私有實驗室的核心研究大量不公開。前沿理論如果逐步被少數(shù)幾家企業(yè)壟斷，學(xué)術(shù)生態(tài)就走向封閉了。
還有研究方向的隱性約束。哪怕企業(yè)允許自由探索，資源分配天然偏向和 AGI 相關(guān)的課題，那些冷門的、長線的、短期內(nèi)喂不到 AI 產(chǎn)業(yè)的方向，會更加沒人做。
話題扯遠(yuǎn)了，最后還是回到 Tsimerman 本人。
他說，三歲就開始玩數(shù)學(xué)謎題，家里長輩是物理學(xué)家，母親教數(shù)學(xué)。「數(shù)學(xué)基本上就是解謎。」多大數(shù)學(xué)系主任 Mary Pugh 是這么形容他的：經(jīng)常能在休息室的黑板前找到他，跟一群學(xué)生一起琢磨問題，樂在其中。
現(xiàn)在，這位史上最年輕的多大數(shù)學(xué)正教授，也終于不用再費勁跟別人解釋什么叫數(shù)論學(xué)家了。因為他要去研究 AI 了，而后者全世界都在討論。
附上參考地址：
https://www.nytimes.com/2026/07/23/science/jacob-tsimerman-fields-medal.html
https://plus.maths.org/icm-2026-fm-4
https://www.utoronto.ca/news/nobel-prize-mathematics-u-t-mathematician-jacob-tsimerman-awarded-prestigious-fields-medal
