25歲廣州天才少女，如何在硅谷拿下14億元融資？

封面新聞記者 邊雪

2026年3月中旬，硅谷AI圈被一位廣州女孩刷屏。由25歲天才少女洪樂潼（Carina Hong）創辦的AI初創公司Axiom宣布完成2億美元（約合14億元人民幣）A輪融資，領投方為頂級風投Menlo Ventures，Greycroft、Madrona Venture、B Capital、Toyota Ventures等老股東持續加碼。

至此，公司估值高達16億美元（約合人民幣110億元），成立不到一年即躋身全球最年輕的獨角獸之一，天才少女履歷“開掛”，是如何一步步走到硅谷的？

從華附到斯坦福

2001年，洪樂潼出生于廣州，父母是潮汕人，均為普通務工者。自幼她便展現出不凡的數學天賦，高中就讀于廣東名校華南師大附中，多次在奧數競賽中獲獎，曾入選廣東省中學生英才計劃，師從中山大學教授王學欽。

2018年，17歲的洪樂潼被麻省理工學院（MIT）錄取，選擇了數學與物理雙專業。此后她僅用3年便修完兩個學位，本科期間發表了9篇學術論文，研究方向涵蓋模橢圓曲線、K3曲面上的L函數、“月光猜想”等基礎數學領域。她還曾獲得全美女性數學家最高榮譽Alice T. Schafer數學獎，以及表彰北美數學專業本科生杰出研究的AMS-MAA-SIAM摩根獎。

2021年，洪樂潼獲得牛津大學羅德獎學金，成為當年僅有的四位中國獲獎者之一。羅德獎學金被譽為“本科諾貝爾獎”，是世界上歷史最悠久、最負盛名的國際獎學金項目之一。在牛津攻讀神經科學碩士期間，她在倫敦大學學院蓋茨比計算單位作為第一作者開展深度學習研究，正式踏入AI領域。隨后她又進入斯坦福大學，攻讀數學與法律雙學科博士。然而，博士還沒讀完，她便做出了一個決定：退學創業。

“數學，是構建AI推理能力的正確基礎”

洪樂潼看到的，是AI行業最尖銳的矛盾：大模型的能力在狂飆，但可靠性始終是個黑盒?！叭粘弥械摹f八道’或許無傷大雅；但在金融、國防或關鍵基礎設施領域，任何基于概率的錯誤都可能釀成災難?！?/p>

她創立的Axiom（源自數學術語“公理”），目標正是打造能自動驗證計算機代碼的AI系統，讓大模型的推理過程像數學證明一樣嚴格，每一步都可驗證。其核心技術是形式化驗證：通過Lean編程語言，將數學證明轉化為可執行程序，從根本上確保結果的正確性。大模型不再是基于概率去“猜”答案，而是將代碼轉化為嚴格的數學邏輯，每一步推理，都必須通過確定性驗證器的檢驗。

“科學突破往往需要兩步：提出假設，再用證明去驗證?！焙闃蜂诮邮懿稍L時說，“我們創立Axiom，就是要無限壓縮把好奇心轉化為真理的時間?！?/p>

這套系統很快展示了實力。2025年12月，Axiom的核心系統在被譽為“本科生數學奧林匹克”的普特南競賽中，斬獲12題全對的滿分。要知道，過去近百年，僅有5人達成過此成就。隨后，該系統又自主證明了多個開放性數論猜想。

一次咖啡館里的相遇

Axiom的故事，始于2024年深秋的一個周末。23歲的洪樂潼在斯坦福附近的一家咖啡館，見到了時任Meta AI研究總監的Shubho Sengupta。幾個小時的交談中，兩人討論了各自研究領域的交叉點，以及AI或許可以解決世界上最棘手的數學問題。不久，洪樂潼做出了一個平靜卻決絕的選擇：從斯坦福退學，著手創立Axiom。Shubho則成為Axiom第一位成員，現任CTO。

團隊的另一位核心人物，是57歲的數學泰斗小野?。↘en Ono）。他是模形式領域的頂尖學者、美國數學學會前副會長，拿過古根海姆獎、斯隆獎等榮譽，曾為美國奧運游泳隊提供數據分析，還為電影《知無涯者》擔任顧問。小野健曾是洪樂潼在MIT數論項目中的導師，如今，這位弗吉尼亞大學終身教授選擇辭職，追隨昔日學生的創業之路。Axiom團隊目前僅有20余人，但背景堪稱豪華，一半成員來自Meta AI研究院。

資本為何押注？

2024年8月，洪樂潼就拿下了960萬美元種子輪投資。短短5個月后，A輪2億美元的融資宣告完成。Menlo Ventures的合伙人Matt Kraning感慨：“我們正步入一個人工智能幾乎可以編寫所有軟件的世界，背后隱藏著幾乎無人提及的問題：所有代碼都未經驗證，這將是巨大的風險。人工智能將寫出所有代碼，但數學將驗證是否正確?！?/p>

在洪樂潼的設想中，未來Axiom的產品可服務于對沖基金和量化交易公司，快速解決與資產定價、股市預測相關的復雜數學問題。她表示，“Axiom很小，卻很強。我們在探索各種更聰明的技術來降低成本，資本效率很高?！比谫Y到手后，一部分用于算力成本，一部分用于招聘。

面對競爭對手Harmonic，同樣專注于用AI解決數學難題、估值達14.5億美元的獨角獸，洪樂潼并不擔心?！拔覀冎饕偁帉κ只藘赡甓啵胚_成第一個重要數學里程碑，我們快很多。”她透露，已經有不少意向客戶找上門。

2025年，DeepSeek橫空出世，洪樂潼感慨：“一群理想主義者組成的優秀合作伙伴。他們執行力強，親力親為。最珍貴的，是那份理想與使命交織的信念?！彼f，DeepSeek的故事，也是她“想親自書寫的故事”。

美媒曝光45天停火協議方案

男子詐騙近百萬后潛逃26年，隱姓埋名化身“本分”豬肉攤主，連妻子都從未察覺

7旬老人清明來信：感謝替我守護父親的紅軍墓，多次轉賬被拒只能寫信表心意

編輯 張任姣

責編 鄭姍姍

審核 丁 偉

點亮?，持續關注！