知名數(shù)學(xué)家辭職投身AI創(chuàng)業(yè)：老板是00后華人女生

鷺羽 2025-12-06 10:38:57 來源：量子位

鷺羽 發(fā)自 凹非寺

量子位 | 公眾號(hào) QbitAI

確實(shí)也是轟動(dòng)數(shù)學(xué)和AI兩界了。

因?yàn)榫驮谧罱?，世界?jí)頂尖數(shù)學(xué)家宣布辭職，前往硅谷，全職加入AI初創(chuàng)公司——

這家公司，還是自己學(xué)生創(chuàng)辦的——一個(gè)24歲00后華人女生。

這個(gè)數(shù)學(xué)家，正是被譽(yù)為“最懂拉馬努金的當(dāng)代數(shù)論學(xué)者”的小野肯（Ken Ono）。

一輩子都撲在純數(shù)學(xué)上，拿獎(jiǎng)拿到手軟、榮譽(yù)滿身的他，如今脫掉學(xué)者長(zhǎng)衫，帶著學(xué)生一塊兒辭職創(chuàng)業(yè)，其抉擇堪稱激進(jìn)。

吸引他的這家公司，也不是等閑之輩，而是硅谷新貴——Axiom，一家主打AI數(shù)學(xué)的明星公司。

幾個(gè)月前，憑借0產(chǎn)品0用戶就實(shí)現(xiàn)了3億美元估值，創(chuàng)始人24歲、斯坦福數(shù)學(xué)博士輟學(xué)，名叫洪樂潼（Carina Letong Hong）。

洪是公認(rèn)的數(shù)學(xué)少年天才、IMO金牌得主、三年MIT數(shù)學(xué)和物理雙學(xué)位、2022年度中國(guó)羅德學(xué)者，也是僅有的4名中國(guó)獲獎(jiǎng)?wù)咧弧?/p>

如今師生搭檔，創(chuàng)業(yè)之路再獲強(qiáng)大助力。

最不可能做AI的人做AI了

據(jù)悉，小野肯將作為該公司的第15位員工加入，職位是創(chuàng)始數(shù)學(xué)家。

他主要的工作是推動(dòng)內(nèi)部AI模型達(dá)到性能極限，通過設(shè)計(jì)出只有深度理解數(shù)學(xué)原理才能夠解決的數(shù)學(xué)問題，以及制定衡量系統(tǒng)性能的基準(zhǔn)，指導(dǎo)模型優(yōu)化。

用小野肯自己的話來說就是，他負(fù)責(zé)坐鎮(zhèn)公司的大后方，為模型“繪制地圖”，評(píng)估模型現(xiàn)有的水平和掌握數(shù)學(xué)界公理。

在出發(fā)去探索新土地之前，你需要知道你現(xiàn)在的位置以及已經(jīng)探索過的地方。

而事實(shí)上，在不久前，小野肯對(duì)加入硅谷AI初創(chuàng)公司這件事還并不感冒，甚至他對(duì)整個(gè)AI領(lǐng)域都持懷疑態(tài)度。

他常常調(diào)侃自己是個(gè)天生智能（Naturally Intelligent），AI想要在數(shù)學(xué)方面取代他，再過個(gè)幾十年吧。

這并非他自吹自擂，美國(guó)數(shù)學(xué)學(xué)會(huì)前會(huì)長(zhǎng)Ken Ribet曾評(píng)價(jià)他是“數(shù)學(xué)領(lǐng)域舉足輕重的人物”。

他推動(dòng)并擴(kuò)展了拉馬努金的分拆理論，合作證明了大量關(guān)于分拆函數(shù)的新等式、母函數(shù)、模形式結(jié)構(gòu)，包括拉馬努金同余式到影月光猜想。

2024年9月，他還在PNAS（美國(guó)國(guó)家科學(xué)院院刊）上合作發(fā)表了一篇關(guān)于羅杰斯-拉馬努金恒等式的應(yīng)用論文，并將其用于檢測(cè)質(zhì)數(shù)。

為此他還一度被譽(yù)為“繼承拉馬努金精神的現(xiàn)代數(shù)學(xué)家之一”。

另外作為美國(guó)數(shù)學(xué)學(xué)會(huì)（AMS）會(huì)士的他長(zhǎng)期在美國(guó)名校任教，擁有弗吉尼亞大學(xué)終身教職，領(lǐng)導(dǎo)了全國(guó)頂尖的精英本科生研究項(xiàng)目，并陸續(xù)指導(dǎo)出數(shù)十位摩根獎(jiǎng)獲得者。

正是這樣一個(gè)學(xué)術(shù)界的“老古板”，卻出乎意料地辭去了自己的終身教職。

改變他想法的契機(jī)出現(xiàn)在去年春天，他被受邀參加專為AI模型測(cè)試編纂研究級(jí)數(shù)學(xué)問題的研討會(huì)，結(jié)果在AI面前，他有點(diǎn)道心破碎：

我曾經(jīng)對(duì)AI模型的領(lǐng)先優(yōu)勢(shì)正在縮小，尤其是在我不擅長(zhǎng)的數(shù)學(xué)領(lǐng)域，我感覺模型已經(jīng)遙遙領(lǐng)先于我。

Sad！感覺自己的飯碗不?！Y(jié)果愁眉苦臉多日后，他終于頓悟：那不如自己砸自己的飯碗（bushi）。

他意識(shí)到模型提供的也不過是一種全新的數(shù)學(xué)解決途徑，造一個(gè)數(shù)學(xué)AI也未嘗不可。

于是小野肯決定做出改變，離開學(xué)術(shù)界，并聯(lián)系了自己的門生——當(dāng)時(shí)正在廣招人才的洪樂潼。

從師生到AI創(chuàng)業(yè)合作

洪樂潼原本在斯坦福讀博，后來退學(xué)創(chuàng)業(yè)，建立了AI公司Axiom（公理）。

Axiom和小野肯的目標(biāo)不謀而合，核心目標(biāo)就是為量化和對(duì)沖基金公司開發(fā)可以解決實(shí)際數(shù)學(xué)問題的AI。

具體來說，將通過學(xué)習(xí)嚴(yán)格的邏輯推理和數(shù)學(xué)證明的過程，讓AI能夠像數(shù)學(xué)家一樣構(gòu)建和驗(yàn)證形式化證明（formal mathematical proofs），并保證結(jié)果的準(zhǔn)確性和嚴(yán)謹(jǐn)性。

然后將產(chǎn)品賣給對(duì)沖基金和量化交易公司，幫助他們快速解決投資、股市等金融領(lǐng)域的復(fù)雜數(shù)學(xué)問題。

最近，Axiom在數(shù)學(xué)界表現(xiàn)亮眼，一舉解決了Erd?s問題#124和#481。

Erd?s網(wǎng)站共收集了1100個(gè)組合數(shù)學(xué)和數(shù)論難題，其中只有266個(gè)得到證明，Lean形式化的僅有10個(gè)。

其中#124是一個(gè)30年前的加法數(shù)論問題，涉及將整數(shù)表示為多個(gè)進(jìn)制下的冪之和，在Axiom發(fā)布的前兩天，Harmonic同樣宣稱解決了該問題，但只完成了簡(jiǎn)化版問題的證明，以及Lean形式化驗(yàn)證。

而AxiomProver模型則將其進(jìn)一步驗(yàn)證到基礎(chǔ)公理層面。

#481則源自45年前，詢問某個(gè)特定的迭代算術(shù)過程是否最終一定會(huì)產(chǎn)生重復(fù)元素。幾周前，OpenAI曾聲稱GPT-5解決了該問題，但社區(qū)指出，它只是檢索到了現(xiàn)有文獻(xiàn)，并沒有真正解決。

Axiom則是確實(shí)完成了這項(xiàng)工作，并借助Lean形式化完成了所有的類型檢查。

要知道，這一切都來自于一個(gè)剛剛成立的初創(chuàng)公司，起步晚、公司員工也只有十來名。

但卻挖走了一大批頂尖AI和數(shù)學(xué)界專家，除了小野肯，其中著名的還有前Meta研究員Fran?ois Charton，他曾讓Transformer模型解常微分方程 (ODE) 與偏微分方程 (PDE)，這項(xiàng)研究后來也被視作讓神經(jīng)網(wǎng)絡(luò)理解數(shù)學(xué)結(jié)構(gòu)的先驅(qū)成果。

而小野肯在加入Axiom之前，還連續(xù)拒絕了多份硅谷其它公司的邀請(qǐng)。

之前首輪融資更是靠著0產(chǎn)品0用戶，就實(shí)現(xiàn)了3億美元估值，投資人中也不乏B Capital這類頂級(jí)VC。

為啥大家都押注Axiom呢？

究其根本，還是因?yàn)槠鋭?chuàng)始人洪樂潼值得。

細(xì)數(shù)洪樂潼的履歷：

出生于中國(guó)廣州，父母沒有受過高等教育，但她從小就對(duì)數(shù)學(xué)興趣濃厚，于是自學(xué)英語以讀懂領(lǐng)域教科書。

高中加入CMO省隊(duì)，經(jīng)過層層篩選，成為最后僅剩的4位女生之一。

后來在羅斯計(jì)劃和斯坦福數(shù)學(xué)營(yíng)中迷上了勒讓德/雅可比符號(hào)和處理理論，并決心攻讀高等數(shù)學(xué)。

我一直對(duì)數(shù)學(xué)發(fā)現(xiàn)非常感興趣。奧林匹克數(shù)學(xué)是一種持續(xù)的多巴胺沖擊，但研究型數(shù)學(xué)則是頭撞南墻。這是痛苦和折磨的，但我喜歡這部分。

隨后她只用了3年時(shí)間，就讀完麻省理工數(shù)學(xué)和物理本科雙學(xué)位，并拿下IMO金牌。

在此期間還發(fā)表了9篇論文，涉及領(lǐng)域相當(dāng)廣泛，包括模橢圓曲線與K3曲面的L函數(shù)、月光猜想、theta與劃分函數(shù)同余方程、堆棧排序算法，和二部圖邊染色的馬爾可夫鏈。

其中大多數(shù)還是和張盛桐（本科期間登上數(shù)學(xué)四大頂刊）合作完成，并刊登在《美國(guó)數(shù)學(xué)會(huì)會(huì)報(bào)》、《拉馬努金期刊》上。

也是在MIT時(shí)期，還是大一新生的洪樂潼成為了小野肯的學(xué)生，加入了他的數(shù)論項(xiàng)目。

在小野肯的指導(dǎo)下她解決了拉馬努金理論中的部分猜想，并獲得了拉馬努金精神獎(jiǎng)學(xué)金。

隨后她又連續(xù)獲得Schaefer數(shù)學(xué)獎(jiǎng)全美女生第一，F(xiàn)rank和Brennie Morgan本科生杰出數(shù)學(xué)研究獎(jiǎng)，并被提名為2022年度中國(guó)羅德學(xué)者，是僅有的4名中國(guó)獲獎(jiǎng)?wù)咧?/strong>。

2024年拿下斯坦福數(shù)學(xué)博士錄取offer，研究方向?yàn)閿?shù)論、組合學(xué)和概率學(xué)，還進(jìn)修了法律學(xué)課程。

憑借著對(duì)數(shù)學(xué)和AI的熱愛，她最終決定告別校園全身心投入創(chuàng)業(yè)，和Meta的AI科學(xué)家Shubho Sengupta一起加入了這場(chǎng)與時(shí)間賽跑的競(jìng)爭(zhēng)，她表示：

研究數(shù)學(xué)真的很難，為數(shù)學(xué)開發(fā)AI更難。

但她始終記得AMD CEO蘇媽給他們的建議：“朝著最困難的問題前進(jìn)”。

她也的確這樣做了，Axiom從建立之初就立志尋找數(shù)學(xué)公理，破解困擾人類數(shù)個(gè)世紀(jì)的問題，她最近也被評(píng)為2026年福布斯30位30歲以下的AI精英。

現(xiàn)在Axiom不僅有00后斯坦福數(shù)學(xué)博士創(chuàng)始人、巨額融資加持，還再度迎來世界級(jí)頂尖數(shù)學(xué)家的加盟。

從師生到合作伙伴，他們正在像當(dāng)年的黃金師徒哈代和拉馬努金，攜手逼近數(shù)學(xué)界的GPT時(shí)刻。

而一切，才剛剛開始。

參考鏈接：
[1]https://www.wsj.com/tech/ai/math-ken-ono-carina-hong-axiom-startup-649bc417?st=v3DHMi&reflink=desktopwebshare_permalink
[2]https://x.com/CarinaLHong/status/1996606602238189831
[3]https://x.com/CarinaLHong/status/1995921695010685109
[4]https://mp.weixin.qq.com/s/xxlKJ-6_SlHbia_RPnwiJA

版權(quán)所有，未經(jīng)授權(quán)不得以任何形式轉(zhuǎn)載及使用，違者必究。