文 | 新質(zhì)動(dòng)能
剛拿到菲爾茲獎(jiǎng)，人轉(zhuǎn)身就入職 OpenAI。
當(dāng)?shù)貢r(shí)間 7 月 23 日，2026 年國(guó)際數(shù)學(xué)家大會(huì)在美國(guó)費(fèi)城開(kāi)幕，現(xiàn)場(chǎng)揭曉 2026 年菲爾茲獎(jiǎng)得主。菲爾茲獎(jiǎng)被稱為 " 數(shù)學(xué)界的諾貝爾獎(jiǎng) "，四年只評(píng)一次，每次最多四人獲獎(jiǎng)，是許多數(shù)學(xué)家一生的追求。
得主之一 Jacob Tsimerman 領(lǐng)完獎(jiǎng)，在記者會(huì)上被問(wèn)及接下來(lái)的打算，他直接攤牌：很快就要入職 OpenAI，方向是 AI 安全。
" 我認(rèn)為世界正在改變，我們現(xiàn)在所熟知的數(shù)學(xué)職業(yè)，我不認(rèn)為它還會(huì)以現(xiàn)在這個(gè)樣子存在下去了。"Jacob 直言。
而且更讓人意外的是，Jacob 并不是對(duì) AI 盲目樂(lè)觀的技術(shù)派，恰恰相反，他曾專門(mén)寫(xiě)過(guò)一篇論文，給 "AI 如何導(dǎo)致人類滅絕 " 建了一套分類學(xué)。他的 X 賬號(hào)從 2014 年注冊(cè)至今，十幾年里只發(fā)過(guò)一條帖子，主題是數(shù)學(xué)家將如何失業(yè)。如今，他卻成了第一個(gè) " 失業(yè) " 的數(shù)學(xué)家，還主動(dòng)走進(jìn)了 AI 公司的大門(mén)。
一個(gè)曾研究 "AI 如何導(dǎo)致人類滅絕 " 的數(shù)學(xué)家，為什么最終走進(jìn)了 AI 公司？
Jacob 的選擇，并不僅僅是一次個(gè)人職業(yè)轉(zhuǎn)向，更折射出一個(gè)正在發(fā)生的變化：越來(lái)越多世界頂尖學(xué)者，開(kāi)始離開(kāi)大學(xué)和研究機(jī)構(gòu)，走向 AI 產(chǎn)業(yè)。
一、奧數(shù)滿分選手，轉(zhuǎn)身走進(jìn) OpenAI
能拿到菲爾茲獎(jiǎng)，Jacob Tsimerman 也不是一般人。Jacob Tsimerman，1988 年出生于俄羅斯喀山，隨家人先移居以色列，后落腳加拿大。
他的天賦很快就顯現(xiàn)出來(lái)。2003 年和 2004 年，Jacob 連續(xù)兩屆代表加拿大出戰(zhàn)國(guó)際數(shù)學(xué)奧林匹克競(jìng)賽（IMO），拿下兩塊金牌，2004 年還拿了滿分。
Jacob16 歲時(shí)，進(jìn)入多倫多大學(xué)讀數(shù)學(xué)，兩年就讀完了本科；2011 年在普林斯頓大學(xué)拿下博士學(xué)位后，去哈佛大學(xué)的 Society of Fellows 鍍了一層金，Jacob 再次回到多倫多大學(xué)任教，成為該校數(shù)學(xué)系歷史上最年輕的正教授。
這次拿下菲爾茲獎(jiǎng)，表彰的是 Jacob 在 Andr é -Oort 猜想上的證明工作。這是算術(shù)幾何領(lǐng)域的核心難題之一，此前懸置了近 40 年。憑借這項(xiàng)成果，他也成為首位在加拿大高校任職期間摘得菲爾茲獎(jiǎng)的數(shù)學(xué)家。
按常理，擁有這樣一份履歷的人，應(yīng)該站在領(lǐng)獎(jiǎng)臺(tái)上感謝師長(zhǎng)、展望學(xué)科的未來(lái)，然后回到校園里繼續(xù)帶學(xué)生、鉆研學(xué)術(shù)，但 Jacob 選擇了另一條路。
就在領(lǐng)獎(jiǎng)后的記者會(huì)上，Jacob 宣布自己很快將加入 OpenAI，研究 AI 安全。消息一出，很快就在數(shù)學(xué)界和 AI 圈同時(shí)引發(fā)熱議。
OpenAI 方的反應(yīng)堪稱迅速，安全研究員、哈佛教授 Boaz Barak 第一時(shí)間發(fā)推，表示 " 深感謙卑 " 地歡迎 Jacob 加入，一起做 AI 安全；微軟前副總裁、現(xiàn) OpenAI 成員 Sebastien Bubeck 也跟著表態(tài)，歡迎 Jacob 入隊(duì)。
隨著討論不斷發(fā)酵，人們重新翻看 Jacob 過(guò)去的公開(kāi)表達(dá)，才發(fā)現(xiàn)這次決定其實(shí)早已有跡可循。
在 Jacob 在 X 上的唯一一條帖子里，他討論了一個(gè)問(wèn)題：" 解決問(wèn)題 " 這件事，在數(shù)學(xué)研究里到底占多大分量？他的答案是：幾乎全部。
Jacob 提到，自己幾乎所有時(shí)間都在解決問(wèn)題，而一旦有人解決了他所在的研究領(lǐng)域里核心猜想的一般形式，" 我的整個(gè)主要研究領(lǐng)域，就會(huì)消失 "。
在過(guò)去，能解開(kāi)這種猜想的，大概率只會(huì)是另一位數(shù)學(xué)家，而這種事百年難得一遇；而現(xiàn)在，解題者卻很可能只是一個(gè) AI 模型，像這樣的新聞已屢見(jiàn)不鮮。Jacob 甚至在采訪中給出了時(shí)間表：兩年內(nèi)，AI 在證明定理這件事上，可能會(huì)比人類數(shù)學(xué)家更強(qiáng)。
Jacob 并不是站在 AI 之外做判斷，而是幾乎每天都在使用 AI 輔助科研。他透露，AI 工具已經(jīng)讓自己的科研效率翻了一倍。2025 年間，Jacob 往 arXiv 上傳了 5 篇數(shù)學(xué)論文，日常研究流程幾乎已經(jīng)離不開(kāi) ChatGPT 和 Claude：先讓 AI 幫助梳理問(wèn)題邊界、檢索相關(guān)文獻(xiàn)，再嘗試生成證明思路。
" 它給的證明通常是錯(cuò)的，但通常能把正確方向的方法拉出來(lái)，幫我走完 80%，剩下我再自己收尾。"
也正因?yàn)樘焯煸谟?AI 輔助研究，Jacob 對(duì) AI 能力的判斷，也比很多同行更加激進(jìn)。在他看來(lái)，不少數(shù)學(xué)家存在一種 " 自我安慰 " 式的心理，看到 AI 眼下還比不過(guò)人類數(shù)學(xué)家，就想當(dāng)然地認(rèn)為它永遠(yuǎn)都比不過(guò)。
"AI 兩年內(nèi)超過(guò)數(shù)學(xué)家 "，在 Jacob 看來(lái)還是相對(duì)溫和的判斷。他更真實(shí)的看法是：" 我認(rèn)為 AI 有相當(dāng)大的可能導(dǎo)致人類滅絕。"
這并不是一句隨口玩笑，2025 年，Jacob 在 arXiv 上傳的第六篇文章不再是數(shù)學(xué)論文，而是一篇題為《涉及 AI 的滅絕性未來(lái)的分類》的研究，合作者是長(zhǎng)期研究 AI 安全的 Andrew Critch。
既然如此擔(dān)憂，為什么還要主動(dòng)加入一家 AI 公司？Jacob 的回答很直接：他支持暫停 AI 的發(fā)展，但并不認(rèn)為這件事真的會(huì)發(fā)生。既然無(wú)法阻止技術(shù)繼續(xù)前進(jìn)，那么與其站在門(mén)外批評(píng)，不如走進(jìn)其中，真正理解它、影響它。
也正因此，他最終選擇加入 OpenAI，而且明確投身 AI 安全研究。這看似矛盾的決定，在他的邏輯里反而是一種必然。
二、57 歲數(shù)論學(xué)家，為 24 歲學(xué)生 " 打工 "
比 Jacob 更早做出類似選擇的，是美國(guó)數(shù)論學(xué)家小野?。↘en Ono）。
2025 年底，57 歲的小野健辭去弗吉尼亞大學(xué)終身教授職位，加入自己昔日學(xué)生洪樂(lè)潼創(chuàng)辦的 AI 數(shù)學(xué)公司 Axiom Math，成為公司第 15 號(hào)員工，擔(dān)任 " 創(chuàng)始數(shù)學(xué)家 "。他的工作不是寫(xiě)代碼，而是給 AI 設(shè)計(jì)數(shù)學(xué)難題、測(cè)試模型的推理能力極限。
小野健在數(shù)學(xué)界地位舉足輕重。他是美國(guó)數(shù)學(xué)會(huì)會(huì)士，也是國(guó)際知名的解析數(shù)論學(xué)者，長(zhǎng)期活躍于國(guó)際數(shù)學(xué)研究前沿。而他的前學(xué)生、現(xiàn)老板洪樂(lè)潼，比他年輕整整 33 歲。
兩人的緣分始于麻省理工學(xué)院。洪樂(lè)潼本科期間曾參與小野健主持的數(shù)論研究項(xiàng)目，幾年后，她從斯坦福大學(xué)數(shù)學(xué)與法學(xué)雙博士項(xiàng)目退學(xué)創(chuàng)業(yè)，創(chuàng)辦 Axiom Math。公司成立不久便完成 6400 萬(wàn)美元融資，并陸續(xù)吸引了一批 AI 研究員和數(shù)學(xué)家加入，其中就包括她曾經(jīng)的導(dǎo)師小野健。
促使小野健加入的契機(jī)，是 2023 年參加的一場(chǎng) AI 數(shù)學(xué)研討會(huì)。在現(xiàn)場(chǎng)，小野健親眼見(jiàn)證，AI 已經(jīng)能夠解決許多自己不熟悉的數(shù)學(xué)分支問(wèn)題，這讓他第一次意識(shí)到，AI 帶來(lái)的變化已經(jīng)不只是輔助計(jì)算，而是在開(kāi)始參與真正的數(shù)學(xué)研究。
這也正是洪樂(lè)潼創(chuàng)辦 Axiom Math 想要做的事。Axiom Math 成立于 2024 年，目標(biāo)并不是開(kāi)發(fā)一個(gè)普通聊天機(jī)器人，而是打造能夠像數(shù)學(xué)家一樣進(jìn)行推理、提出猜想并完成證明的 "AI 數(shù)學(xué)家 "。
公司自主研發(fā)的 Axiom Prover 推出后，僅用 4 個(gè)月便連續(xù)攻克兩道懸置數(shù)十年的數(shù)學(xué)問(wèn)題。其中一道實(shí)現(xiàn)了全流程自動(dòng)形式化證明，全程無(wú)需人工干預(yù)；另一道成果則對(duì) OpenAI 此前公布的一項(xiàng)數(shù)學(xué)結(jié)果提出了不同結(jié)論，引發(fā)學(xué)界關(guān)注。
無(wú)論是加入 OpenAI 的 Jacob，還是加盟 Axiom Math 的小野健，他們的共同選擇都說(shuō)明了一件事：AI 公司爭(zhēng)奪的，已經(jīng)不僅是工程師，而是能夠推動(dòng)基礎(chǔ)研究的數(shù)學(xué)家。
三、AI 公司為何爭(zhēng)搶數(shù)學(xué)家？
近兩年，從 OpenAI、Anthropic、Google DeepMind 這樣的大型 AI 公司，到 Axiom Math、Harmonic 這類專注數(shù)學(xué) AI 的新創(chuàng)企業(yè)，都開(kāi)始主動(dòng)招募數(shù)學(xué)家，而不僅僅是傳統(tǒng)意義上的算法工程師。
去年成立的 AI 創(chuàng)業(yè)公司 Logical Intelligence，就是一個(gè)典型的例子。這家公司成立時(shí)間不過(guò)一年，卻請(qǐng)來(lái)了圖靈獎(jiǎng)得主楊立昆擔(dān)任技術(shù)研究委員會(huì)主席，菲爾茲獎(jiǎng)得主 Michael Freedman 擔(dān)任首席數(shù)學(xué)官，負(fù)責(zé)數(shù)學(xué)方向的研究。
一家成立僅一年的創(chuàng)業(yè)公司，能夠同時(shí)聚集圖靈獎(jiǎng)和菲爾茲獎(jiǎng)得主，本身就說(shuō)明了一件事：頂尖數(shù)學(xué)家，已經(jīng)成為 AI 行業(yè)最搶手的人才之一。
為什么 AI 公司開(kāi)始搶數(shù)學(xué)家？
隨著大模型進(jìn)入推理時(shí)代，數(shù)學(xué)能力正在成為衡量模型智能水平的重要指標(biāo)。從數(shù)學(xué)證明到形式化推理，再到復(fù)雜問(wèn)題求解，越來(lái)越多能力已經(jīng)無(wú)法單純依靠工程優(yōu)化完成，而需要數(shù)學(xué)家直接參與模型訓(xùn)練、測(cè)試和評(píng)估。
例如，OpenAI 支持建設(shè)的數(shù)學(xué)能力測(cè)試集 FrontierMath，就是由約 40 位職業(yè)數(shù)學(xué)家共同設(shè)計(jì)，題目幾乎全部達(dá)到科研級(jí)難度，其中便包括小野健等人參與出題。
過(guò)去，數(shù)學(xué)家主要為學(xué)術(shù)同行提出問(wèn)題；如今，他們開(kāi)始為 AI 提出問(wèn)題。
就在 Jacob 獲得菲爾茲獎(jiǎng)前幾天，Anthropic 數(shù)學(xué)家 Levent Alp ge 借助 Claude 發(fā)現(xiàn)了雅可比猜想的一組反例，并迅速完成驗(yàn)證，引發(fā)數(shù)學(xué)界廣泛討論。巧合的是，Levent Alp ge 本科時(shí)期的導(dǎo)師正是 Jacob。
從導(dǎo)師獲得菲爾茲獎(jiǎng)，到學(xué)生進(jìn)入 AI 公司開(kāi)展數(shù)學(xué)研究，再到越來(lái)越多數(shù)學(xué)家直接參與 AI 模型訓(xùn)練和評(píng)估，這條人才流動(dòng)路徑已經(jīng)越來(lái)越清晰。
過(guò)去，頂尖數(shù)學(xué)家的舞臺(tái)主要屬于大學(xué)、研究所和國(guó)際數(shù)學(xué)大會(huì)。而今天，他們?cè)絹?lái)越頻繁地出現(xiàn)在 OpenAI、Anthropic、Google DeepMind，以及一家家 AI 創(chuàng)業(yè)公司的辦公室里。
這場(chǎng)變化背后，并不是學(xué)術(shù)正在離開(kāi)數(shù)學(xué)，而是 AI 的發(fā)展，第一次讓最前沿的數(shù)學(xué)研究直接進(jìn)入了產(chǎn)業(yè)競(jìng)爭(zhēng)。
參考資料：
《剛拿菲爾茲獎(jiǎng)，他就宣布加入 OpenAI》，量子位；
《剛拿完菲爾茲獎(jiǎng)，他扭頭加盟 OpenAI》，APPSO；
《菲爾茲獎(jiǎng)沒(méi)有意外！兩位中國(guó)籍?dāng)?shù)學(xué)家創(chuàng)造歷史》，返樸；
《重磅！Fable 5 證明雅可比猜想錯(cuò)誤？Anthropic 研究員發(fā)布驚人數(shù)學(xué)發(fā)現(xiàn)》，AI 寒武紀(jì)；
《當(dāng) 57 歲 " 數(shù)學(xué)傳奇 " 決定為 24 歲 " 天才少女 " 的 AI 項(xiàng)目打工》，鈦媒體；
《廣州數(shù)學(xué)天才少女，斯坦福輟學(xué)創(chuàng)業(yè)，25 歲拿下超 14 億融資，公司估值 110 億》，21 世紀(jì)商業(yè)評(píng)論；
《圖靈獎(jiǎng)得主楊立昆、菲爾茲獎(jiǎng)得主 Freedman 同時(shí)加盟，全球首家能量模型商業(yè)化公司誕生》，KIK DeepTech 深科技。
