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

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

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

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

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

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

公司估值已達(dá)110億

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

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

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

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

洪樂潼

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

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

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

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

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

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

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

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

麻省理工導(dǎo)師評價(jià)：“當(dāng)多數(shù)人還在關(guān)注應(yīng)用層時(shí)，她已瞄準(zhǔn)數(shù)學(xué)證明自動化這一基礎(chǔ)難題。”

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

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

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

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

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

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

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

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

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

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

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

如今，Axiom已組建了一支堪稱“夢之隊(duì)”的核心團(tuán)隊(duì)：

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

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

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

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

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

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

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

天下潮商綜合

來源：投資界、重慶晨報(bào)、多知、快科技

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