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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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