剛拿完菲爾茲獎，他扭頭加盟 OpenAI

昨晚，四年一度的菲爾茲獎在美國費城揭曉。

另外兩位是加拿大數(shù)學(xué)家 Jacob Tsimerman（雅各布·齊默爾曼）和美國數(shù)學(xué)家 John Pardon（約翰·帕登）。

2026 年菲爾茲獎得主，從左至右：鄧煜、John Pardon、Jacob Tsimerman 和王虹

值得說道的是 Tsimerman 這位。

他今年 38 歲，加拿大機(jī)構(gòu)第一位菲爾茲獎得主，16 歲上大學(xué)，兩年讀完本科，2004 年國際數(shù)學(xué)奧林匹克滿分金牌，是多倫多大學(xué)數(shù)學(xué)系史上最年輕的正教授。

拿獎的理由是他把 o-minimality 這個來自數(shù)理邏輯的工具搬進(jìn)了算術(shù)幾何和復(fù)代數(shù)幾何，順手證明了 Griffiths 猜想。此外，他還參與完成了困擾數(shù)學(xué)界幾十年的 André-Oort 猜想。

Jacob Tsimerman

好家伙，這履歷，標(biāo)準(zhǔn)的天才劇本。

然而劇情不按常理出牌，頒獎當(dāng)天的獲獎?wù)咝侣劙l(fā)布會上，有人問他接下來打算做什么。剛拿完菲爾茲獎的他表示，已經(jīng)開始轉(zhuǎn)向 AI 安全了，并且很快就要去 OpenAI 的安全部門上班。

OpenAI 高管 Mark Chen 發(fā)文祝賀

數(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ù)解。比如 x2+y2=25，這種整數(shù)解叫畢達(dá)哥拉斯三元組，找起來出奇地麻煩；但實數(shù)解滿地都是，你畫個圓就完事了，圓上隨便取一點就是一組解。

于是圓出現(xiàn)了，代數(shù)幾何登場了。

扒手的活兒正式開工：

把圓拉扯變形當(dāng)成一個環(huán)，拓?fù)鋵W(xué)的工具就能用了；保持圓的剛性，研究什么形狀能穿過去、張力多大，微分幾何和黎曼幾何來了；研究圓上函數(shù)的行為，分析學(xué)也來了。

Tsimerman 自己感慨了一句：這個世界美得毫無道理，那些形狀、幾何、拓?fù)洌尤徽娴哪芨嬖V你數(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 的世界里。

這一下就把 Griffiths 猜想解決了，那是 Phillip Griffiths 1970 年在尼斯的國際數(shù)學(xué)家大會上提出的構(gòu)想，掛了半個多世紀(jì)。Tsimerman 說得很謙虛：Griffiths 講了很多故事，我們只是把其中一個講完了。

而他的成果還牽著 Hodge 猜想，就是那七道百萬美元千禧年難題之一。

順便說個有意思的細(xì)節(jié)。年輕時的 Tsimerman 特別瞧不上舉例子這件事。他說，當(dāng)時覺得證定理才是厲害的人干的事，舉例子是本事不夠才做的，我這輩子只想寫變量，一個具體數(shù)字都不寫。

現(xiàn)在呢，他的數(shù)學(xué)直覺全靠腦子里那一大堆例子撐著。他說，構(gòu)造這些玩具案例的時刻，是他最鮮活的時刻。你要問他最近在忙啥，他會告訴你：手上有 20 個問題，20 個都卡住了。

「這是老生常談，但我確實在所有事情上不停失敗，最后做出來的那點東西，只是從裂縫里漏出來的一點點成功。」

他的秘訣是學(xué)會從「不算成功」里獲得滿足感。

「最有啟發(fā)的時刻，恰恰是某個方法行不通的時候。我試了個想法然后失敗了的那一天，我覺得是好日子。」

那么一個 38 歲、剛拿到數(shù)學(xué)界最高榮譽(yù)、被導(dǎo)師 Peter Sarnak 評價為「少數(shù)幾個此類基本問題得到解決的高維情形之一」的成果的人，接下來該干嘛？

按常理，應(yīng)該是繼續(xù)攻猜想，帶學(xué)生，成為一代宗師。然而，他在菲爾茲獎的新聞發(fā)布會上卻表示要轉(zhuǎn)行弄 AI 了。

原話位于新聞發(fā)布會 1 小時 14 分 https://www.youtube.com/watch?v=2dr2F2NVUkY

他在發(fā)布會上的原話大意是：轉(zhuǎn)個方向，看起來挺酷的。我已經(jīng)開始轉(zhuǎn)向 AI 安全了，并且很快就要去 OpenAI 的安全部門任職。

他還說，自己正在整理一份資源清單，專門給想轉(zhuǎn)行到這個領(lǐng)域的數(shù)學(xué)家用。他覺得這是個非常重要的方向，希望不只是數(shù)學(xué)家，而是更多人都能參與進(jìn)來，只不過數(shù)學(xué)家是他熟悉的群體。

并且在他看來，過去兩年，AI 靠總結(jié)論文和起草證明把他的產(chǎn)出翻了一倍，而他認(rèn)為這只是開始：「我覺得它很快就會在做數(shù)學(xué)這件事上比數(shù)學(xué)家更強(qiáng)。」

而更實在的動作是，他已經(jīng)停止招收博士生。理由是他不想讓學(xué)生為一個「可能不復(fù)存在的數(shù)學(xué)職業(yè)」做準(zhǔn)備。

至于為什么這么悲觀，有個直接的刺激事件：今年 5 月，OpenAI 的模型推翻了懸置 80 年的埃爾德什單位距離猜想，125 頁證明，九位頂尖數(shù)學(xué)家參與驗證，評價是「如果由人類提交，可以直送《數(shù)學(xué)年刊》」。

Tsimerman 就是那九個人之一。他后來也曾坦白，這條思路他自己試過，放棄了，因為太耗時而且經(jīng)常走不通。

有意思的是，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（小野健）辭掉了弗吉尼亞大學(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 的極限。

這家公司剛成立就融了 6400 萬美元，還從 Meta 挖了一批 AI 數(shù)學(xué)研究員。

觸動他的是 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.……

卡內(nèi)基梅隆的 Jeremy Avigad 一句話點破為什么企業(yè)界這么饞數(shù)學(xué)家：通用智能的關(guān)鍵，是把機(jī)器學(xué)習(xí)的洞察力和數(shù)學(xué)的精確性結(jié)合起來。

更微妙的是 FrontierMath 這個基準(zhǔn)，約 40 位數(shù)學(xué)家（包括 Ken Ono）為 AI 編研究級數(shù)學(xué)考題，OpenAI 提供支持。學(xué)界給工業(yè)界出題，工業(yè)界給學(xué)界發(fā)工資，兩邊已經(jīng)很難分開了。

包括現(xiàn)在數(shù)學(xué)界大致分成三派。

陶哲軒表示 AI 是強(qiáng)大的助手；菲爾茲獎得主 Akshay Venkatesh 則認(rèn)為需要警惕，數(shù)學(xué)家可能會喪失對數(shù)學(xué)本身的直接理解和體驗。

Tsimerman 則表示整個職業(yè)都有危險。三種態(tài)度里，Tsimerman 的態(tài)度也最為悲觀，至于為什么大牛們紛紛出走，往深了說，這波遷徙也有幾層硬原因。

最硬的一條是算力。 傳統(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ù)論和幾何的很多瓶頸，卡的不是理論而是算力。

還有機(jī)構(gòu)環(huán)境的差別。 大廠研究院官僚化了，資源向能快速產(chǎn)品化的項目傾斜，長線高風(fēng)險的基礎(chǔ)探索被壓縮。相比之下，創(chuàng)業(yè)型 AI 實驗室決策鏈條短，目標(biāo)更純粹。

日常損耗同樣勸退。 終身教授要上本科課、招博士、做行政評審、不停寫基金申請書。工業(yè)實驗室不用授課，行政壓力極低，可以直接攢跨學(xué)科團(tuán)隊。

錢當(dāng)然也在里面，但排在后面。 終身教職年薪 15 到 35 萬美元，頭部 AI 企業(yè)資深科學(xué)家總包普遍 50 到 150 萬美元。對菲爾茲級別的人來說，錢通常是加分項而不是決定項。

那么這是好事還是壞事呢？

正面看，學(xué)科壁壘被打破了，數(shù)學(xué)家、物理學(xué)家、計算機(jī)科學(xué)家被放進(jìn)同一個目標(biāo)里，交叉融合的速度確實在加快。

OpenAI、Anthropic 正在演變成私人資助的高級研究院，有點當(dāng)年洛克菲勒研究所的意思。而大批純數(shù)學(xué)家入場做對齊和形式驗證，對「經(jīng)驗調(diào)參為主、缺乏嚴(yán)格理論」的大模型行業(yè)來說，是實打?qū)嵉难a(bǔ)強(qiáng)。

反面的擔(dān)憂也不言而喻。終身教授走了，研究生導(dǎo)師就缺人，年輕人會形成預(yù)期：最好的出路是直接去 AI 公司，而不是留校做純數(shù)學(xué)。

基礎(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.youtube.com/watch?v=TAh5tZ8QAzQ&t=5s

https://www.utoronto.ca/news/nobel-prize-mathematics-u-t-mathematician-jacob-tsimerman-awarded-prestigious-fields-medal

我們正在招募伙伴

簡歷投遞郵箱hr@ifanr.com

?? 郵件標(biāo)題「姓名+崗位名稱」（請隨簡歷附上項目/作品或相關(guān)鏈接）