知名數學家辭職投身AI創業：老板是00后華人女生

鷺羽 發自 凹非寺
量子位 | 公眾號 QbitAI

確實也是轟動數學和AI兩界了。

因為就在最近，世界級頂尖數學家宣布辭職，前往硅谷，全職加入AI初創公司——

這家公司，還是自己學生創辦的——一個24歲00后華人女生。

這個數學家，正是被譽為“最懂拉馬努金的當代數論學者”的小野肯（Ken Ono）。

一輩子都撲在純數學上，拿獎拿到手軟、榮譽滿身的他，如今脫掉學者長衫，帶著學生一塊兒辭職創業，其抉擇堪稱激進。

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

幾個月前，憑借0產品0用戶就實現了3億美元估值，創始人24歲、斯坦福數學博士輟學，名叫洪樂潼（Carina Letong Hong）。

洪是公認的數學少年天才、IMO金牌得主、三年MIT數學和物理雙學位、2022年度中國羅德學者，也是僅有的4名中國獲獎者之一……

如今師生搭檔，創業之路再獲強大助力。

最不可能做AI的人做AI了

據悉，小野肯將作為該公司的第15位員工加入，職位是創始數學家。

他主要的工作是推動內部AI模型達到性能極限，通過設計出只有深度理解數學原理才能夠解決的數學問題，以及制定衡量系統性能的基準，指導模型優化。

用小野肯自己的話來說就是，他負責坐鎮公司的大后方，為模型“繪制地圖”，評估模型現有的水平和掌握數學界公理。

• 在出發去探索新土地之前，你需要知道你現在的位置以及已經探索過的地方。

而事實上，在不久前，小野肯對加入硅谷AI初創公司這件事還并不感冒，甚至他對整個AI領域都持懷疑態度。

他常常調侃自己是個天生智能（Naturally Intelligent），AI想要在數學方面取代他，再過個幾十年吧。

這并非他自吹自擂，美國數學學會前會長Ken Ribet曾評價他是“數學領域舉足輕重的人物”。

他推動并擴展了拉馬努金的分拆理論，合作證明了大量關于分拆函數的新等式、母函數、模形式結構，包括拉馬努金同余式到影月光猜想。

2024年9月，他還在PNAS（美國國家科學院院刊）上合作發表了一篇關于羅杰斯-拉馬努金恒等式的應用論文，并將其用于檢測質數。

為此他還一度被譽為“繼承拉馬努金精神的現代數學家之一”。

另外作為美國數學學會（AMS）會士的他長期在美國名校任教，擁有弗吉尼亞大學終身教職，領導了全國頂尖的精英本科生研究項目，并陸續指導出數十位摩根獎獲得者。

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

改變他想法的契機出現在去年春天，他被受邀參加專為AI模型測試編纂研究級數學問題的研討會，結果在AI面前，他有點道心破碎：

• 我曾經對AI模型的領先優勢正在縮小，尤其是在我不擅長的數學領域，我感覺模型已經遙遙領先于我。

Sad！感覺自己的飯碗不保……結果愁眉苦臉多日后，他終于頓悟：那不如自己砸自己的飯碗（bushi）。

他意識到模型提供的也不過是一種全新的數學解決途徑，造一個數學AI也未嘗不可。

于是小野肯決定做出改變，離開學術界，并聯系了自己的門生——當時正在廣招人才的洪樂潼。

從師生到AI創業合作

洪樂潼原本在斯坦福讀博，后來退學創業，建立了AI公司Axiom（公理）。

Axiom和小野肯的目標不謀而合，核心目標就是為量化和對沖基金公司開發可以解決實際數學問題的AI。

具體來說，將通過學習嚴格的邏輯推理和數學證明的過程，讓AI能夠像數學家一樣構建和驗證形式化證明（formal mathematical proofs），并保證結果的準確性和嚴謹性。

然后將產品賣給對沖基金和量化交易公司，幫助他們快速解決投資、股市等金融領域的復雜數學問題。

最近，Axiom在數學界表現亮眼，一舉解決了Erd?s問題#124和#481。

Erd?s網站共收集了1100個組合數學和數論難題，其中只有266個得到證明，Lean形式化的僅有10個。

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

而AxiomProver模型則將其進一步驗證到基礎公理層面。

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

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

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

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

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

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

為啥大家都押注Axiom呢？

究其根本，還是因為其創始人洪樂潼值得。

細數洪樂潼的履歷：

出生于中國廣州，父母沒有受過高等教育，但她從小就對數學興趣濃厚，于是自學英語以讀懂領域教科書。

高中加入CMO省隊，經過層層篩選，成為最后僅剩的4位女生之一。

后來在羅斯計劃和斯坦福數學營中迷上了勒讓德/雅可比符號和處理理論，并決心攻讀高等數學。

• 我一直對數學發現非常感興趣。奧林匹克數學是一種持續的多巴胺沖擊，但研究型數學則是頭撞南墻。這是痛苦和折磨的，但我喜歡這部分。

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

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

其中大多數還是和張盛桐（本科期間登上數學四大頂刊）合作完成，并刊登在《美國數學會會報》、《拉馬努金期刊》上。

也是在MIT時期，還是大一新生的洪樂潼成為了小野肯的學生，加入了他的數論項目。

在小野肯的指導下她解決了拉馬努金理論中的部分猜想，并獲得了拉馬努金精神獎學金。

隨后她又連續獲得Schaefer數學獎全美女生第一，Frank和Brennie Morgan本科生杰出數學研究獎，并被提名為2022年度中國羅德學者，是僅有的4名中國獲獎者之一。

2024年拿下斯坦福數學博士錄取offer，研究方向為數論、組合學和概率學，還進修了法律學課程。

憑借著對數學和AI的熱愛，她最終決定告別校園全身心投入創業，和Meta的AI科學家Shubho Sengupta一起加入了這場與時間賽跑的競爭，她表示：

• 研究數學真的很難，為數學開發AI更難。

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

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

現在Axiom不僅有00后斯坦福數學博士創始人、巨額融資加持，還再度迎來世界級頂尖數學家的加盟。

從師生到合作伙伴，他們正在像當年的黃金師徒哈代和拉馬努金，攜手逼近數學界的GPT時刻。

而一切，才剛剛開始。

參考鏈接：
[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