一杯咖啡 3億美元！史丹佛天才少女退學創業 Meta AI大咖排隊加入

史丹佛博士生 Carina Hong 與前 Meta AI 研究員的一次數小時對話，讓她毅然輟學投身打造「AI 數學家」的夢想，創辦 Axiom Math 並吸引到來自 Meta 等公司的頂尖 AI 人才加盟。Axiom Math 首輪融資 6,400 萬美元後估值 3 億美元。

據「新智元」，2024 年，仍為史丹佛大學博士生的 Carina Hong 與前 Meta 的 AI 研究員 Shubho Sengupta 有過一次數小時的交談。這次談話不久，Carina Hong 選擇從史丹佛退學創辦了 Axiom Math，目標是打造「AI 數學家」，而 Sengupta 也加入了這家新創公司擔任 CTO。

近日，Carina Hong 在 X 平台上發佈了 Axiom 的宣傳影片，稱「我們正在打造一個能夠自我改進的超級智慧推理系統，起點是一個 AI 數學家。」

前 OpenAI 高層 William Fedus 認為數學是一個極好的可驗證環境，他對於 Axiom 的快速進展十分樂觀。B Capital 將 24 歲的 Carina Hong 稱作一個「推動數學超級智慧的人」。

一次談話點燃創業夢

2024 年秋，仍在史丹佛大學攻讀博士的 Carina Hong 在學校附近的 Verve Coffee Roasters 咖啡館，偶然遇到了前 Meta 的 AI 研究員 Shubho Sengupta，當時 Sengupta 正在研究能編寫軟體測試的大語言模型。

兩人聊得十分投機。在數小時的談話中，他們共同探討了 AI 是否有可能解決世界上最難的數學問題。

那次談話後不久，Carina Hong 便從史丹佛退學，創辦了 Axiom Math，立志打造一款「AI 數學家」。

在 Carina Hong 看來，數學是打造超級智慧的完美試驗場。

Axiom Math 的理念是將教科書、論文和期刊裡的英文數學內容轉化為程序化知識，這樣 AI 不僅可以解決複雜的數學問題，還能透過嚴格驗證來檢驗解答。

未來，Carina Hong 希望「AI 數學家」甚至能夠提出全新的數學猜想。

據 Axiom 官網，該公司使命是「從 AI 數學家起步，打造自我改進的超級智慧推理器」。

估值 3 億美元 Meta 大咖排隊加入

Axiom Math 成立短短幾個月，便已完成了 6,400 萬美元的種子輪融資：由 B Capital 領投，Greycroft、Madrona 和 Menlo Ventures 等風投參與。融資後，Axiom Math 估值已達 3 億美元。

B Capital 的官方文章中，將 Carina Hong 稱作一個「推動數學超級智慧的人」，並稱讚她「以驚人速度組建了一支人才密度極高的創始團隊。」

Axiom Math 的核心成員中，如 Shubho、François Charton、Aram H. Markosyan 均來自 Meta。

不到一年時間，Carina Hong 為新創公司吸引到了上述一批資深科技老將。

就在 Meta 重金攬才的同時，也在持續流失關鍵 AI 人才。Axiom Math 核心團隊的組建，正值 Meta 豪擲上億美元薪資挖角 OpenAI 等前沿實驗室人才的同時。

而 Axiom 吸引這些頂級 AI 研究員的正是它的使命——用 AI 推動數學發現。

在 Axiom 的辦公室裡，經常可以感受到這樣的氛圍，它的會議室都是以數學與運算領域的巨匠命名，比如高斯（Carl Friedrich Gauss）和 Ada Lovelace。

Charton 認為，Axiom 是一家真正認真對待數學 AI 的公司，而不是把它當成副業，這點對他來說非常重要。這反映出頂尖學者更看重研究使命與學術氛圍，而非單純的資源或薪資。

來自廣州的天才女生

Carina Hong 的個人履歷同樣引人矚目。她是一位中美混合背景的學者，在中國廣州長大，從小酷愛數學。

她是史丹佛大學數學系博士生，同時也是史丹佛大學法學院法律博士在讀，獲獎學金資助。

在此之前，她曾作為羅德學者就讀於牛津大學赫特福德學院，獲得神經科學碩士學位；她還在倫敦大學學院賽恩斯伯里威康中心的蓋茨比研究所從事深度學習研究。

Carina Hong 大學就讀麻省理工學院（MIT），主修數學與物理雙學位，期間在同行評審期刊上發表了 9 篇論文。

2023 年，Carina Hong 獲得了大學數學最高獎項——Frank and Brennie Morgan 獎（摩根獎），該獎項是全球數學大學生的最高榮譽。

儘管 Axiom 的發展迅速，但它同樣正面臨強勁的競爭。今年 7 月，OpenAI 和 Google DeepMind 都曾宣佈旗下大模型在國際數學奧林匹克競賽（IMO）中達到金牌水平。

然而在 Carina Hong 看來，這類基準測試很容易被「刷分」，並不代表真正的研究級數學能力。

目前，Axiom 的重點是訓練能發現並解決新數學問題的模型。但在數學之外 Axiom 也看到了更廣泛的應用前景。未來它的研究應用也將擴展到金融建模、晶片架構、量化交易等更多領域。