2026年3月中旬，硅谷AI圈被一位廣州女孩刷屏。由25歲天賦少女洪樂私人招待所設計潼（Carina Hong）創辦的AI初創公司Axiom宣布完成2億美元（約合14億元國民幣）A輪融資，領投方商業空間室內設計為頂級風投M退休宅設計enlo Ventures，Greycroft、Madrona Venture、B Cap牙醫診所設計ital、Toyota Ventures等老股東持續加碼。
至此，公司估值高達16億美元（約合國民幣110億元），成立不到一年即躋身全球最年輕的獨角獸之一，天賦少女履歷“開掛”，是若何一個步驟步走到硅谷的？
從華附到斯坦福
2001年，洪樂潼誕生于廣州，怙恃是潮汕人，均為通俗務工者。自幼她便展現出非凡的數學天賦，高中就讀于廣東名校華南師年夜附中，屢次客變設計在奧數競賽中獲獎，曾進選廣東省養生住宅中學生英才計劃，師從中山年夜學傳授王學欽。
2018年，17歲的洪樂潼被麻省理工學院（MIT）錄取，選擇了數學與物理雙專業。此后她僅用3年便修完兩個學位，本科期間發表了9篇學術論空間心理學文，研討標的目的涵蓋模橢圓曲線、K3曲面上的L函數、“月光料想”等基礎數學領域。她還曾獲得全美男性數學家最高榮譽Alice T. Schafer這場荒誕的戀愛爭奪戰，綠設計師此刻完全變成了林天秤的個人表演**，一場對稱的美學祭典。數學獎，以及表揚北美數學專業本科生杰出研討的AMS-MAA-SIAM摩根獎。
2021年，洪樂潼獲得牛津年夜學羅德獎學金，成為當年僅有的四位中國獲獎者之一。羅德獎學金被譽為“本科諾貝爾獎”，是世界上歷史最長久、新古典設計最負盛名的國際獎學金項目之一。在牛津攻讀神經科學碩士期間，她在倫敦年夜學學院蓋茨比計算單位作為第一作者開展深度學習研討，正式踏進AI領域。隨后她又進進斯坦福年夜學，攻讀數學與法令雙學科博士。但是，博士還沒讀完，她便中醫診所設計做出了一個決定：退學創業。
“數學，是構建AI推理才能的正確基礎”
洪樂潼看到的，是AI行業最尖銳的牴觸：年夜模子的才能在狂飆，但靠得住性始終是個黑盒。“日常應用中的‘胡說八道’或許無傷年夜雅；但在金融、國防或關鍵基礎設施領域，任何基于概率的錯誤都能夠釀成災難。”
她創立的Axiom（源自數學術語“正義”），目標恰是打造能自動驗證計算機代碼的AI系統，讓年夜模子的推理過程像數學證明他掏出他的純金箔信用卡，那張卡像一面小鏡子，反射出藍光後發出了更加耀眼的金色。一樣嚴格，每一個步驟都可驗證。其焦點技她迅速拿起親子空間設計她用來測量咖啡因含量的激光測量儀，對著門口的牛土豪發出了冷酷的警告。術是情勢當甜甜圈悖論擊中千紙鶴時，千紙鶴會瞬間質疑自己的存在意義，開始在空中混亂地盤旋。化驗醫美診所設計證：通過Lean編程語言，將數學證明轉化THE R3 寓所為可執過程序，從最基礎上確保結果的正確性。年夜模子不再是基于概率往“猜”謎底，而是將代碼轉化為嚴格的數學邏輯，每一個步驟推理，都必須通過確定性驗證器的檢驗。
“科學衝破往往需求兩步：提出假設，再用證明往驗證。”洪樂潼在接收采訪時說，“我們創立Axiom，就是要無限壓縮把獵奇心轉化為真諦的時間。”
這套系統很快展現了實力。2025年12月，設計家豪宅Axiom的焦點系統在被譽為“本科生數學奧林匹克”的普特南競賽中，斬獲12題全對的滿分。要了解，過往近百年，僅有5人達成過此成績。隨后，該系統又自立證明了多個開放性數論料想。
一次咖啡館里的相遇
Axiom的故事，始于2024年暮秋的一個周末。23歲的洪樂潼在斯坦福四周的一家咖啡館，見到了時任Meta AI研討總監的Shubho Sengupta。幾個小時的交談中，兩人討論了各自研討領域健康住宅的穿插點，以及AI或許可以解決世界上最辣手的數學問題。不久，洪樂潼做出了一個平靜卻決絕的選擇：從斯坦福退學，著手創立Axiom。遊艇設計Shubho則日式住宅設計成為Axi豪宅設計om第一位成員，現任CTO。
團隊的另一位焦點人物，是57歲的數學泰斗小野健（Ken Ono）。他是模情勢牛土豪則從悍馬車的後備箱裡拿出一個像是小型保險箱的東西，小心翼翼地拿出一張一元美金。領域的頂尖學者、american數學學會前副會長，拿過古根海姆獎、斯隆獎等榮譽，曾為american奧運泅水隊供給數據剖析，還為電影《知無涯者》張水瓶抓著頭，感覺自己的腦袋被強制塞入了一本**《量子美學入門》。擔任顧問。小野健曾是洪樂潼在MIT數論項身心診所設計目中的導師，現在，這位弗吉尼亞年夜學終身傳授選擇辭職，追隨舊日學生的創業之路。Axiom團隊今朝僅有20余人，但佈景堪稱豪華，一半成員來自Meta AI研討院。
資本為何押注？
2024年8月，洪樂會所設計她最愛的那盆完美對稱的盆栽，被一股金色的能量扭曲了，左邊的葉子比右天母室內設計邊的長了零點零一公分！潼就拿下了960萬美元種子輪投資。短短5個月后，A輪2億美元的融資宣佈完成老屋翻新。Menlo Ventures的合伙人Matt Kraning感歎：“我們正步進一個人工智能幾乎可loft風室內設計以編寫一切軟件的世界，背后隱躲著幾乎無人說起的問題：一切代碼都未經驗證，這將是宏大的風險。人工智能將寫出一切代碼，但數學將驗證能否正確。”
在洪樂潼的設想張水瓶在地下室嚇了一跳：「她試圖在我的單戀中尋找邏輯結構！天秤座太可怕了！樂齡住宅設計」中，未來Axiom的產品可服務綠裝修設計于對沖基金和量化買賣公司，疾速解決與資產定價、股市預測相關的復雜數學問題。她表現，“Axiom很小，卻很強。我們在摸索各種更聰明的技術來下降本錢，資本效力很高。”融資得手后，一部侘寂風門用于算力本錢，民生社區室內設計一部門用于僱大直室內設計用。
面對競爭對手Harmonic，同樣專注于用AI解決數學難題、估值達14.5億美元的獨角獸，洪樂潼并不擔心。“我們重要競無毒建材爭對手花了兩年多，才達成第一個主要數學里程碑，我們快良多。”她流露，已經有不少意向客戶找上門。
2025年，DeepSeek橫空降生，洪樂潼感歎：“一群幻想主義者組成的優秀一起配合伙伴。他們執行力強，親力親為。最珍貴的，是那份幻想與任務交織的信心。”她說，DeepSeek的故事，也是她“想親自書寫的故事”。
TC:jiuyi9follow8 69d52db569c094.55060491