25歲廣州少女獲14億融資！斯坦福輟學，要用數學公理改寫AI代碼

2026年3月中旬，硅谷AI圈被一位廣州女孩徹底刷屏。 由25歲天才少女洪樂潼（Carina Hong）創辦的AI初創公司Axiom宣布完成2億美元（約14億元人民幣）A輪融資，領投方為頂級風投Menlo Ventures。公司成立不足兩年，團隊僅20人，估值已飆升至110億元人民幣，正式跨入全球獨角獸行列。

從華附到斯坦福：天才少女的“快進”人生

洪樂潼的履歷，是典型的高頻“跳級”范式。1999年出生于廣州，高中就讀于享有盛名的華南師大附中，曾是奧數省隊成員，骨子里刻著深厚的數學基因。

• 學術收割機： 本科僅用三年便拿下MIT數學與物理雙學位，隨后在牛津大學跨學科攻讀神經科學碩士，并摘得2022年中國羅德獎學金。
• 果斷輟學： 2024年，她進入斯坦福大學攻讀數學與法學雙博士。然而，面對AI浪潮的爆發，她直言“等不了畢業”，入校僅幾個月便決定輟學，在硅谷帕洛阿爾托租下辦公室開啟創業之路。

降維打擊：不卷對話模型，只為代碼找“公理”

在主流AI公司沉迷于聊天機器人和文生圖時，洪樂潼選擇了一條極其硬核且高門檻的賽道——形式化驗證（Formal Verification）。

Axiom的核心邏輯不再是讓AI去“猜”下一個單詞，而是讓AI像數學家證明定理一樣，自動檢查代碼邏輯。其自研系統AxiomProver的表現堪稱恐怖：

• 競賽降維打擊： 在2025年12月的普特南數學競賽中奪得120分滿分。
• 攻克世界難題： 該系統獨立證明了懸而未決30年的埃爾德什問題#124，以及塵封45年的問題#481。

通過Lean編程語言，Axiom正在為代碼構建一套底層“公理”，試圖從源頭徹底杜絕Bug的存在。

資本狂歡：2億美元背后的“自我驗證”邏輯

本輪2億美元的巨額融資，由Menlo Ventures領投，Greycroft、Madrona等機構跟投。這不僅是對洪樂潼個人的加冕，更是資本對AI下半場邏輯的押注。

領投方Menlo Ventures分析稱： “AI生成代碼正在普及，但準確性是致命瓶頸。Axiom能從底層邏輯杜絕錯誤，這是大模型商業化落地的‘剛需’。”

洪樂潼對此回應極其客觀克制： “數學之所以有價值，是因為它能自我驗證、自我檢查。我們的目標是降低算力成本，提高資本效率。”

豪華配置：20人團隊撐起百億估值

Axiom團隊只有20多人，但背景堪稱“豪華”：

• CTO Shubho Sengupta： 前Meta AI研究總監；
• 核心成員小野健（Ken Ono）： 辭去弗吉尼亞大學終身教職加入；
• Fran?ois Charton： 前Meta AI研究科學家。

團隊中約一半成員曾供職于Meta AI實驗室。這種“頂尖導師+工業界大牛”圍繞天才少女組建的架構，保證了公司在數學理論與AI工程化上的雙重領先。

行業影響：軟件工程與金融市場的“地震”

Axiom的技術落地，其想象空間遠超普通大模型：

1. 重構軟件生態： 若AI自動證明代碼正確性，傳統人工測試環節將面臨結構性改變，軟件崩潰、系統漏洞或將成為歷史。
2. 顛覆量化金融： 洪樂潼曾透露，產品未來將服務于對沖基金，解決極其復雜的資產定價與股市預測模型。
3. 人才信號意義： 從國內華為“天才少年”到洪樂潼的硅谷突圍，中國數學教育背景正成為全球AI前沿競爭中最核心的底座。

后續走向：隨著14億元融資到賬，Axiom接下來的重點將集中在擴充算力資源與爭奪頂尖人才上。這位25歲的廣州女孩能否用數學“公理”改變世界？答案也許就藏在下一行被驗證的代碼里