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

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

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

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

AI初創(chuàng)公司Axiom完成2億美元A輪融資

公司估值已達110億

3月12日，致力于構(gòu)建能夠?qū)浖涂茖W推理進行數(shù)學驗證的AI初創(chuàng)公司Axiom（axiommath.ai）宣布完成2億美元的A輪融資，本輪融資由Menlo Ventures 領(lǐng)投，Greycroft、Madrona Venture、B Capital、Toyota Ventures等老股東持續(xù)加碼。至此，公司估值高達16億美元（約合人民幣110億）。

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

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

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

洪樂潼

據(jù)悉，此輪融資的領(lǐng)投方Menlo Ventures? 是一家成立于1976年的美國知名風險投資機構(gòu)，專注于對消費科技和生命科學領(lǐng)域的早期至擴張期初創(chuàng)企業(yè)進行投資。

“00后”潮汕學霸創(chuàng)業(yè)成AI圈焦點

Axiom Math由洪樂潼創(chuàng)立于2025年3月。

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

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

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

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

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

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

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

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

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

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

公司用AI解決復雜數(shù)學證明的難題

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

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

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

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

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

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

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

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

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

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

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

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

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

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

天下潮商綜合

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

文中所用圖片來源網(wǎng)絡