<div id="readability-page-1"><div>投資界獲悉最新一筆融資——洪樂潼創立的 AI 初創公司 Axiom 宣佈完成 2 億美元 A 輪融資，由 Menlo Ventures 領投，Greycroft、Madrona Venture、B Capital、Toyota Ventures 等老股東持續加碼。至此，公司估值高達 16 億美元（約合人民幣 110 億）。洪樂潼今年 25 歲，出生於廣州，曾就讀於華南師大附中，多次在奧數競賽中獲獎。此後，她的求學軌跡橫跨麻省理工學院、牛津大學，直至在斯坦福大學攻讀博士學位期間，選擇投身創業浪潮。投資界曾與洪樂潼私下交流，彼時 Axiom 尚處水下時期。記得她在創立 Axiom 期間於朋友圈寫下的自勉：“祝自己做花也做樹。繽紛熱情，孤離兀立。”<img src="https://imageproxy.pbkrs.com/https://inews.gtimg.com/om_bt/OpEOKKr9hsivxNrIPQD6UJKKK7UfjUImbyeVi9IEzysLQAA/641?x-oss-process=image/auto-orient,1/interlace,1/resize,w_1440,h_1440/quality,q_95/format,jpg" width="960" height="960" original-src="https://imageproxy.pbkrs.com/https://inews.gtimg.com/om_bt/OpEOKKr9hsivxNrIPQD6UJKKK7UfjUImbyeVi9IEzysLQAA/641"/>圖片來源：麻省理工學院越過個體的抉擇，一個更顯著的時代切面正在浮現，00 後創始人正集體登上 AI 舞台。剛剛融資 14 億成立一年，估值 110 億故事的開頭源於一次咖啡館的交流。那是 2024 年深秋的一個週末，23 歲的洪樂潼在斯坦福附近的一家咖啡館，見到了時任 Meta AI 研究總監的 Shubho Sengupta。幾個小時的交談中，兩人討論了各自研究領域的交叉點，以及 AI 或許可以解決世界上最棘手的數學問題。不久，洪樂潼做出了一個平靜卻決絕的選擇：從斯坦福退學，着手創立 Axiom。天才少女的故事，總是自帶光環。很快，洪樂潼這個名字在創投圈隱秘而迅速地流傳。也是那個節點，每每對外分享，談話間，她幾乎不談論風口與顛覆，更多在意對問題本身的好奇和對技術可能性的清晰判斷。如今，Axiom 宣佈完成 2 億美元 A 輪融資，成立不到一年即躋身獨角獸行列。而就在短短 5 個月前，Axiom 剛剛完成種子輪融資。彼時，這家初創公司浮出水面，向外界擲出一個堅定的信念：數學，是構建 AI 推理能力的正確基礎。去年 12 月，Axiom 的核心繫統在被譽為 “本科生數學奧林匹克” 的普特南競賽中，斬獲 12 題全對的滿分。要知道，過去近百年，僅有 5 人達成過此成就。隨後，該系統又自主證明了多個開放性數論猜想。解決數學問題只是冰山一角。Axiom 正在將這種 “絕對正確” 的數學推理能力，通過遷移學習引入到代碼驗證領域，試圖解決生成式 AI 的種種問題。當下，AI 行業面臨着一個極其尖鋭的矛盾：大模型的能力狂飆，但可靠性卻始終是個黑盒。日常應用中的 “胡説八道” 或許無傷大雅；但在金融、國防或關鍵基礎設施領域，任何基於概率的錯誤都可能釀成災難。“我們正步入一個人工智能幾乎可以編寫所有軟件的世界，背後隱藏着幾乎無人提及的問題：所有代碼都未經驗證，這將是巨大的風險。” Menlo Ventures 的合夥人 Matt Kraning 感慨，人工智能將寫出所有代碼，但數學將驗證是否正確。Axiom 的答案是可驗證人工智能（Verified AI）。簡單來説，其核心優勢在於形式化驗證：通過 Lean 編程語言，將數學證明轉化為可執行程序，從根本上確保結果的正確性。在這裏，大模型不再是基於概率去 “猜” 答案，而是將代碼轉化為嚴格的數學邏輯，證明出結果。每一步推理，都必須通過確定性驗證器的檢驗。“科學突破往往需要兩步：提出假設，再用證明去驗證。我們創立 Axiom，就是要無限壓縮把好奇心轉化為真理的時間。” 在洪樂潼看來，AI 遞歸式自我進化已近在眼前，對於 Axiom 的終極使命，她留下了一句極具張力的註腳：“Verified AI 關注的，絕不僅僅是修補 AI 的缺點。真正瞄準的，是 AI 的上限，是通向超級智能的階梯。”一位 00 後女學霸帶隊來自廣州Axiom 的故事，離不開一路開掛的洪樂潼。2001 年，洪樂潼出生於廣州，父母是潮汕人。自幼她便展現出不凡的數學天賦，中學就讀於廣東名校華南師範附中。高中時期，洪樂潼是數學奧林匹克省隊唯一四名女生之一，多次在華羅庚金盃、全國高中數學聯賽等競賽中取得好名次。2019 年，她考入麻省理工學院，攻讀數學和物理雙學位。三年後，洪樂潼成功拿到牛津大學羅德獎學金，成為僅有的四名中國獲獎者之一。羅德獎學金是世界上歷史最悠久、最負盛名的國際獎學金項目之一，有 “本科諾貝爾獎” 的美譽。隨後，洪樂潼在英國牛津大學獲得碩士學位。期間還在倫敦大學學院進行人工智能和機器學習研究，當時她曾表示，“人工智能與科學家未來的互動會怎樣？是我接下來希望研究的課題。”到了 2024 年 8 月，洪樂潼進入斯坦福大學攻讀數學博士和法學博士。“一直以來，我都是一名研究者。” 在此前一次採訪中她稱，內心深處最想要解決真正困難的技術問題。很快，還在博士就讀的她闖入了 AI 界。曾在DeepSeek火爆全球之際，洪樂潼發出這樣的感慨：“一個小而專注、特立獨行的團隊。一羣理想主義者組成的優秀合作伙伴。他們執行力強，親力親為。最珍貴的，是那份理想與使命交織的信念。這就是 DeepSeek 的故事，也是我想親自書寫的故事。”如今，Axiom 已組建了一支堪稱 “夢之隊” 的核心團隊：CTO Shubho Sengupta 曾任 Meta AI 研究總監，此前參與過Google分佈式訓練系統的研究工作，同時也是最早開發 CUDA 技術的專家之一；核心科學家 François Charton，是率先將 Transformer 模型引入數學領域的先驅，曾用大模型推翻過一個長達 30 年未解的學術猜想。最令人震撼的，是創始數學家 Ken Ono 的加入。這位囊括了古根海姆獎、斯隆獎等無數頂尖榮譽的數學領域權威、前美國數學學會副會長，毅然辭去了弗吉尼亞大學的終身教職，全職加入 Axiom。一段被反覆咀嚼的佳話是：在 Ono 長達四十年的執教生涯中，曾指導過十位摩根獎得主，洪樂潼正是其中之一。“她兼具深厚的數學功底、驚人的運營效率，以及吸引世界一流人才的能力。” 一位投資人忍不住感慨：“這是我過去二十年的硅谷生涯中，見過的最令人印象深刻的創始人，沒有之一。”目前，Axiom 擁有 30 多名員工，招聘速度還在不斷加快。屬於她的那個故事，才剛剛寫下第一筆。AI 時代00 後集體登場AI 浪潮，已成為 00 後的主場。就在上週，成立僅一年多的公司靈初智能宣佈，已完成天使輪及 Pre-A 輪共計 20 億元融資，投資方陣容豪華。其聯合創始人陳源培，出生於 2001 年，曾就讀於北京大學、斯坦福大學，師從李飛飛。還有優理奇創始人楊豐瑜，同樣是位 00 後。博士畢業於耶魯大學，本科畢業於美國密歇根大學計算機專業，曾在 DeepMind 工作。同樣在上週，公司剛剛完成近 3 億元新一輪融資。這個名單還有很長。四位 00 後創立的 AI 編程公司 Anysphere，估值衝到了約 290 億美元；19 歲華裔女孩 Serena Ge 創辦的 AI 數據公司 Datacurve 融資上億；AI 初創公司 Mercor 的三位 22 歲聯合創始人，成為全球最年輕的白手起家富豪……更為直接的衝擊是富豪榜，AI 已成為最年輕化的賽道。《2026 胡潤 U40 全球白手起家富豪榜》顯示，AI 領域共誕生 27 位十億美金企業家，佔榜單總人數的四分之一，平均年齡僅 32 歲，合計財富近 7000 億元人民幣。目睹了浪潮起伏，不止一位投資人感慨，短短兩三年間湧現出的這批年輕 AI 創業者，無論視野、格局還是破局的韌性，都展現出了超越年齡的成熟，幾乎是他們從業以來見過的最優秀的一羣人。甚至有投資人坦言，如果團隊裏沒有 00 後核心合夥人，可能就不投了。為什麼必須是年輕人？紀源資本管理合夥人符績勳曾這樣拆解背後的邏輯：“每一個時代的創新，往往都是年輕人先跑出來，因為年輕人沒有包袱。” 一個時代有一個時代的創新，一個時代也會形成一種慣性，甚至形成一種包袱。某種程度上，今天的 AI 就是 95 後、00 後的機會。在技術重構世界的前夜，沒有包袱，往往就是最好的行囊。</div></div>

AXINU

AXIN

洪樂潼創立的 AI 初創公司 Axiom 宣佈完成 2 億美元 A 輪融資，由 Menlo Ventures 領投，估值達到 16 億美元。洪樂潼，25 歲，曾就讀於麻省理工學院和斯坦福大學，因對 AI 和數學的熱情而選擇創業。Axiom 在成立不到一年內迅速成長為獨角獸，顯示出 00 後創始人在 AI 領域的崛起。

首發 |25 歲洪樂潼帶隊，Axiom 剛剛融資 14 億