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的技術落地,其想象空間遠超普通大模型:
- 重構軟件生態: 若AI自動證明代碼正確性,傳統人工測試環節將面臨結構性改變,軟件崩潰、系統漏洞或將成為歷史。
- 顛覆量化金融: 洪樂潼曾透露,產品未來將服務于對沖基金,解決極其復雜的資產定價與股市預測模型。
- 人才信號意義: 從國內華為“天才少年”到洪樂潼的硅谷突圍,中國數學教育背景正成為全球AI前沿競爭中最核心的底座。
后續走向:隨著14億元融資到賬,Axiom接下來的重點將集中在擴充算力資源與爭奪頂尖人才上。這位25歲的廣州女孩能否用數學“公理”改變世界?答案也許就藏在下一行被驗證的代碼里
特別聲明:以上內容(如有圖片或視頻亦包括在內)為自媒體平臺“網易號”用戶上傳并發布,本平臺僅提供信息存儲服務。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.