25歲潮汕女孩，融資14億元

近期，全球創投市場迎來重磅融資事件——人工智能初創企業Axiom（axiommath.ai）宣布成功完成2億美元（約合人民幣14億元）A輪融資。本輪融資由知名風險投資機構Menlo Ventures領投，公司原有股東均參與跟投。

作為一家成立僅一年有余的AI企業，Axiom在此輪融資后估值達到16億美元（約合人民幣110億元），正式躋身全球獨角獸企業行列。

相較于融資規模與估值，市場更為關注的是其創始人洪樂潼（Carina Hong）。這位2001年出生于廣州的00后創業者，憑借旗下項目迅速成為資本市場焦點。

▲洪樂潼 圖片來源：麻省理工學院

“00后”廣州學霸創業成AI圈焦點

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

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

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

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

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

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

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

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

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

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

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

來源 | 紅星資本局 中國科學報 重慶晨報

編輯 | 林榮暢

審讀 | 郭建華

二審 | 蔡志軍

三審 | 王 博

深圳晚報×深圳招商蛇口國際郵輪母港有限公司

給晚粉送 郵輪船票 啦~

為粉絲帶來不一樣的出游體驗～

一等獎：港珠澳大橋海上游平日票

二等獎：海上看深圳·WAN夜宴平日票

三等獎：深圳蛇口-橫琴（長隆）平日票

四等獎：深圳蛇口-香港上環船票

1、進入深圳晚報微信公眾號

2、點擊“私信”進入對話框

3、在對話框中輸入關鍵詞“船票”，獲取鏈接參與抽獎

開獎時間：2026年3月31日12:00

兌獎方式：兌換信息將由工作人員以短信方式通知，請注意查收

使用期限：兌換日期起至2026年12月31日（周末節假日不適用）

注意事項：

1、進入抽獎小程序會有一個5秒的開屏廣告，請勿點擊！請勿點擊！請勿點擊！（重要的事情說三遍）；

2、本獎品為贈品，嚴禁轉賣交易；

3、請中獎粉絲在規定時間內填寫領獎信息，留意手機短信，如發現填寫信息未兌票，或將進入深晚福利黑名單；

4、使用須知以兌換券使用規則為準；

5、本活動最終解釋權歸深圳晚報所有。