25歲，潮汕00后女生獲14億融資，公司估值110億！

澄海老板們，想招工的加我鳳翔/澄華/廣益/溪南/鹽鴻/東里隆都/蓮上/蓮下/上華/蓮華就近任選！

近期，全球創投市場迎來重磅融資事件——人工智能初創企業Axiom（axiommath.ai）宣布成功完成2億美元（約合人民幣14億元）A輪融資。

作為一家成立僅一年多的初創公司，Axiom在此次融資后的估值迅速飆升至16億美元，約合人民幣110億元。這意味著這家年輕的公司已正式躋身全球獨角獸企業行列。

然而，相比于驚人的融資規模和估值，外界更關注的是其背后的靈魂人物、公司創始人洪樂潼。這位2001年出生的潮汕00后創業者，憑借旗下項目迅速成為資本市場焦點。

AI初創公司Axiom完成2億美元A輪融資

公司估值已達110億

3月12日，致力于構建能夠對軟件和科學推理進行數學驗證的AI初創公司Axiom（axiommath.ai）宣布完成2億美元的A輪融資，本輪融資由Menlo Ventures 領投，Greycroft、Madrona Venture、B Capital、Toyota Ventures等老股東持續加碼。至此，公司估值高達16億美元（約合人民幣110億）。

而就在短短5個月前，Axiom 剛完成了6400萬美元的種子輪融資。

Axiom 此輪融資代表著對其所稱的“可信人工智能”（verified AI）這一新范式的押注，該技術旨在一勞永逸地消除人工智能“幻覺”的風險。

創始人洪樂潼(Carina Hong)說：“此輪融資將我們在形式數學領域的領先優勢拓展至可信人工智能領域?！?/p>

洪樂潼

據悉，此輪融資的領投方Menlo Ventures? 是一家成立于1976年的美國知名風險投資機構，專注于對消費科技和生命科學領域的早期至擴張期初創企業進行投資。

“00后”潮汕學霸創業成AI圈焦點

Axiom Math由洪樂潼創立于2025年3月。

據此前公開報道，洪樂潼祖籍潮汕，出生在廣州，父母是從未上過大學的普通務工者。

有著超強數學天賦的她，早在高一就入選了廣東省中學生英才計劃，師從中山大學教授王學欽。此后，她在全國中學生數學奧林匹克（CMO）廣東選拔中脫穎而出，成為僅有的四位女生之一。

隨后，她開始將視野投向更高層次的數學研究。

2018年，年僅17歲的洪樂潼如愿被麻省理工學院（MIT）錄取，選擇了數學與物理雙專業。

她在麻省理工學院只用3年時間就修完了兩個學位，并躋身國際一流期刊，發表了涉及模橢圓曲線與K3曲面上的L函數、“月光猜想”的9篇學術論文。研究方向涵蓋數論、組合學等基礎數學領域，為其當前AI創業埋下伏筆。

麻省理工導師評價：“當多數人還在關注應用層時，她已瞄準數學證明自動化這一基礎難題?！?/p>

更引人注目的是，她在MIT期間曾獲得全美女性數學家最高榮譽——Alice T. Schafer數學獎，并在2021年成為中國僅有的四位羅德學者之一，前往牛津大學繼續攻讀神經科學課程。

在此期間，她曾在倫敦大學學院蓋茨比計算單位作為第一作者開展深度學習研究項目，由此正式踏入AI領域。

在讀完了數學、物理、神經科學后，洪樂潼又對人文學科產生強烈好奇，在斯坦福大學開啟數學與法律雙學科博士項目的研究。

據中國科學報去年12月報道，洪樂潼目前退學創業。她還曾獲得表彰北美地區數學專業本科生杰出研究的AMS-MAA-SIAM摩根獎。就在2025年12月3日，洪樂潼入選“福布斯30歲以下30人”榜單。

公司用AI解決復雜數學證明的難題

當下，AI行業面臨著一個極其尖銳的矛盾：大模型的能力狂飆，但可靠性卻始終是個黑盒。日常應用中的“胡說八道”或許無傷大雅；但在金融、國防或關鍵基礎設施領域，任何基于概率的錯誤都可能釀成災難。

例如，針對ChatGPT o3“數學測試作弊”爭議，此前作為斯坦福大學數學博士的洪樂潼就率先指出癥結——當前AI缺乏嚴格的邏輯推理訓練體系。

而洪樂潼創立的Axiom則采用“數學即服務”模式，通過學習嚴格邏輯推理過程，使AI像數學家一樣構建和驗證證明。

資料顯示，作為初創公司的Axiom將鎖定對沖基金、量化交易員等高端客戶，宣稱要用AI解決復雜數學證明的難題，為金融公司提供高效的量化解決方案。

據中國科學報報道，去年12月，Axiom開發的AxiomProver系統，使用可驗證的Lean語言，完成了埃爾德什問題集中第124題和第481題的形式化證明，分別用時1天和5小時，全程無人為干預。

埃爾德什問題集共包含1109個關于組合數學和數論的問題，是匈牙利數學家保羅·埃爾德什數十年來論文的匯集。迄今為止，只有266個問題被證明，其中10個問題的證明被轉化為計算機可驗證的形式化版本（Lean語言）。

如今，Axiom已組建了一支堪稱“夢之隊”的核心團隊：

CTO Shubho Sengupta 曾任 Meta AI研究總監，此前參與過Google分布式訓練系統的研究工作，同時也是最早開發CUDA技術的專家之一；

核心科學家Fran?ois Charton，是率先將Transformer模型引入數學領域的先驅，曾用大模型推翻過一個長達30年未解的學術猜想。

最令人震撼的，是創始數學家Ken Ono的加入。這位囊括了古根海姆獎、斯隆獎等無數頂尖榮譽的數學領域權威、前美國數學學會副會長，毅然辭去了弗吉尼亞大學的終身教職，全職加入Axiom。

洪樂潼的老師Ken Ono于去年底宣布辭去弗吉尼亞大學的終身教授職位，前往硅谷，全職加入Axiom Math。

一段被反復咀嚼的佳話是：在Ono長達四十年的執教生涯中，曾指導過十位摩根獎得主，洪樂潼正是其中之一。

“她兼具深厚的數學功底、驚人的運營效率，以及吸引世界一流人才的能力?！币晃煌顿Y人忍不住感慨：“這是我過去二十年的硅谷生涯中，見過的最令人印象深刻的創始人，沒有之一?！?/p>

目前，Axiom擁有30多名員工，招聘速度還在不斷加快。屬于她的那個故事，才剛剛寫下第一筆。

天下潮商綜合

來源：投資界、重慶晨報、多知、快科技

文中所用圖片來源網絡