25歲，她剛剛?cè)谫Y14億

00后風(fēng)暴。

作者：王露

來源：投資界

投資界獲悉最新一筆融資——洪樂潼創(chuàng)立的AI初創(chuàng)公司Axiom宣布完成2億美元A輪融資，由Menlo Ventures領(lǐng)投，Greycroft、Madrona Venture、B Capital、Toyota Ventures等老股東持續(xù)加碼。至此，公司估值高達(dá)16億美元（約合人民幣110億）。

洪樂潼今年25歲，出生于廣州，曾就讀于華南師大附中，多次在奧數(shù)競賽中獲獎(jiǎng)。此后，她的求學(xué)軌跡橫跨麻省理工學(xué)院、牛津大學(xué)，直至在斯坦福大學(xué)攻讀博士學(xué)位期間，選擇投身創(chuàng)業(yè)浪潮。

投資界曾與洪樂潼私下交流，彼時(shí)Axiom尚處水下時(shí)期。記得她在創(chuàng)立Axiom期間于朋友圈寫下的自勉：“祝自己做花也做樹。繽紛熱情，孤離兀立?！?/p>

越過個(gè)體的抉擇，一個(gè)更顯著的時(shí)代切面正在浮現(xiàn)，00后創(chuàng)始人正集體登上AI舞臺(tái)。

這里插播一條課程資訊：

報(bào)名「黑馬·AI星球Agent實(shí)戰(zhàn)營」，國內(nèi)?個(gè)基于“全鏈路業(yè)務(wù)拆解+Agent搭建實(shí)戰(zhàn)”的企業(yè)級(jí)Agent實(shí)戰(zhàn)營；3天閉關(guān)+90天陪跑，讓你帶走：

1、一套完整的企業(yè)級(jí)Agent構(gòu)建方法論

2、一個(gè)基于真實(shí)業(yè)務(wù)場景的可運(yùn)行Agent Demo

3、一份量身定制的落地推進(jìn)計(jì)劃

4、在線陪跑與生態(tài)資源對(duì)接支持

讓AI真正落地變現(xiàn)！

掃碼咨詢報(bào)名

（翻到底部了解詳情）

01

剛剛?cè)谫Y14億

成立一年，估值110億

故事的開頭源于一次咖啡館的交流。

那是2024年深秋的一個(gè)周末，23歲的洪樂潼在斯坦福附近的一家咖啡館，見到了時(shí)任 Meta AI研究總監(jiān)的Shubho Sengupta。

幾個(gè)小時(shí)的交談中，兩人討論了各自研究領(lǐng)域的交叉點(diǎn)，以及AI或許可以解決世界上最棘手的數(shù)學(xué)問題。不久，洪樂潼做出了一個(gè)平靜卻決絕的選擇：從斯坦福退學(xué)，著手創(chuàng)立Axiom。

天才少女的故事，總是自帶光環(huán)。很快，洪樂潼這個(gè)名字在創(chuàng)投圈隱秘而迅速地流傳。也是那個(gè)節(jié)點(diǎn)，每每對(duì)外分享，談話間，她幾乎不談?wù)擄L(fēng)口與顛覆，更多在意對(duì)問題本身的好奇和對(duì)技術(shù)可能性的清晰判斷。

如今，Axiom宣布完成2億美元A輪融資，成立不到一年即躋身獨(dú)角獸行列。

而就在短短5個(gè)月前，Axiom剛剛完成種子輪融資。彼時(shí)，這家初創(chuàng)公司浮出水面，向外界擲出一個(gè)堅(jiān)定的信念：數(shù)學(xué)，是構(gòu)建AI推理能力的正確基礎(chǔ)。

去年12月，Axiom的核心系統(tǒng)在被譽(yù)為“本科生數(shù)學(xué)奧林匹克”的普特南競賽中，斬獲12題全對(duì)的滿分。要知道，過去近百年，僅有5人達(dá)成過此成就。隨后，該系統(tǒng)又自主證明了多個(gè)開放性數(shù)論猜想。

解決數(shù)學(xué)問題只是冰山一角。Axiom正在將這種“絕對(duì)正確”的數(shù)學(xué)推理能力，通過遷移學(xué)習(xí)引入到代碼驗(yàn)證領(lǐng)域，試圖解決生成式AI的種種問題。

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

“我們正步入一個(gè)人工智能幾乎可以編寫所有軟件的世界，背后隱藏著幾乎無人提及的問題：所有代碼都未經(jīng)驗(yàn)證，這將是巨大的風(fēng)險(xiǎn)。”Menlo Ventures的合伙人Matt Kraning感慨，人工智能將寫出所有代碼，但數(shù)學(xué)將驗(yàn)證是否正確。

Axiom的答案是可驗(yàn)證人工智能（Verified AI）。

簡單來說，其核心優(yōu)勢在于形式化驗(yàn)證：通過Lean編程語言，將數(shù)學(xué)證明轉(zhuǎn)化為可執(zhí)行程序，從根本上確保結(jié)果的正確性。在這里，大模型不再是基于概率去“猜”答案，而是將代碼轉(zhuǎn)化為嚴(yán)格的數(shù)學(xué)邏輯，證明出結(jié)果。每一步推理，都必須通過確定性驗(yàn)證器的檢驗(yàn)。

“科學(xué)突破往往需要兩步：提出假設(shè)，再用證明去驗(yàn)證。我們創(chuàng)立 Axiom，就是要無限壓縮把好奇心轉(zhuǎn)化為真理的時(shí)間?！痹诤闃蜂磥恚珹I遞歸式自我進(jìn)化已近在眼前，對(duì)于 Axiom的終極使命，她留下了一句極具張力的注腳：

“Verified AI關(guān)注的，絕不僅僅是修補(bǔ)AI的缺點(diǎn)。真正瞄準(zhǔn)的，是AI的上限，是通向超級(jí)智能的階梯。”

02

一位00后女學(xué)霸帶隊(duì)

來自廣州

Axiom的故事，離不開一路開掛的洪樂潼。

2001年，洪樂潼出生于廣州，父母是潮汕人。自幼她便展現(xiàn)出不凡的數(shù)學(xué)天賦，中學(xué)就讀于廣東名校華南師范附中。高中時(shí)期，洪樂潼是數(shù)學(xué)奧林匹克省隊(duì)唯一四名女生之一，多次在華羅庚金杯、全國高中數(shù)學(xué)聯(lián)賽等競賽中取得好名次。

2019年，她考入麻省理工學(xué)院，攻讀數(shù)學(xué)和物理雙學(xué)位。三年后，洪樂潼成功拿到牛津大學(xué)羅德獎(jiǎng)學(xué)金，成為僅有的四名中國獲獎(jiǎng)?wù)咧?。羅德獎(jiǎng)學(xué)金是世界上歷史最悠久、最負(fù)盛名的國際獎(jiǎng)學(xué)金項(xiàng)目之一，有“本科諾貝爾獎(jiǎng)”的美譽(yù)。

隨后，洪樂潼在英國牛津大學(xué)獲得碩士學(xué)位。期間還在倫敦大學(xué)學(xué)院進(jìn)行人工智能和機(jī)器學(xué)習(xí)研究，當(dāng)時(shí)她曾表示，“人工智能與科學(xué)家未來的互動(dòng)會(huì)怎樣？是我接下來希望研究的課題。”

到了2024年8月，洪樂潼進(jìn)入斯坦福大學(xué)攻讀數(shù)學(xué)博士和法學(xué)博士?！耙恢币詠?，我都是一名研究者?！痹诖饲耙淮尾稍L中她稱，內(nèi)心深處最想要解決真正困難的技術(shù)問題。很快，還在博士就讀的她闖入了AI界。

曾在DeepSeek火爆全球之際，洪樂潼發(fā)出這樣的感慨：“一個(gè)小而專注、特立獨(dú)行的團(tuán)隊(duì)。一群理想主義者組成的優(yōu)秀合作伙伴。他們執(zhí)行力強(qiáng)，親力親為。最珍貴的，是那份理想與使命交織的信念。這就是DeepSeek的故事，也是我想親自書寫的故事?！?/p>

如今，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é)會(huì)副會(huì)長，毅然辭去了弗吉尼亞大學(xué)的終身教職，全職加入Axiom。

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

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

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

03

AI時(shí)代，00后集體登場

AI浪潮，已成為00后的主場。

就在上周，成立僅一年多的公司靈初智能宣布，已完成天使輪及Pre-A輪共計(jì)20億元融資，投資方陣容豪華。其聯(lián)合創(chuàng)始人陳源培，出生于2001年，曾就讀于北京大學(xué)、斯坦福大學(xué)，師從李飛飛。

還有優(yōu)理奇創(chuàng)始人楊豐瑜，同樣是位00后。博士畢業(yè)于耶魯大學(xué)，本科畢業(yè)于美國密歇根大學(xué)計(jì)算機(jī)專業(yè)，曾在DeepMind工作。同樣在上周，公司剛剛完成近3億元新一輪融資。

這個(gè)名單還有很長。四位00后創(chuàng)立的AI編程公司Anysphere，估值沖到了約290億美元；19歲華裔女孩Serena Ge創(chuàng)辦的AI數(shù)據(jù)公司Datacurve融資上億；AI初創(chuàng)公司Mercor的三位22歲聯(lián)合創(chuàng)始人，成為全球最年輕的白手起家富豪……

更為直接的沖擊是富豪榜，AI已成為最年輕化的賽道?！?026胡潤U40全球白手起家富豪榜》顯示，AI領(lǐng)域共誕生27位十億美金企業(yè)家，占榜單總?cè)藬?shù)的四分之一，平均年齡僅32歲，合計(jì)財(cái)富近7000億元人民幣。

目睹了浪潮起伏，不止一位投資人感慨，短短兩三年間涌現(xiàn)出的這批年輕AI創(chuàng)業(yè)者，無論視野、格局還是破局的韌性，都展現(xiàn)出了超越年齡的成熟，幾乎是他們從業(yè)以來見過的最優(yōu)秀的一群人。甚至有投資人坦言，如果團(tuán)隊(duì)里沒有00后核心合伙人，可能就不投了。

為什么必須是年輕人？紀(jì)源資本管理合伙人符績勛曾這樣拆解背后的邏輯：“每一個(gè)時(shí)代的創(chuàng)新，往往都是年輕人先跑出來，因?yàn)槟贻p人沒有包袱。”一個(gè)時(shí)代有一個(gè)時(shí)代的創(chuàng)新，一個(gè)時(shí)代也會(huì)形成一種慣性，甚至形成一種包袱。某種程度上，今天的AI就是95后、00后的機(jī)會(huì)。

在技術(shù)重構(gòu)世界的前夜，沒有包袱，往往就是最好的行囊。

*免責(zé)聲明：本文章為作者獨(dú)立觀點(diǎn)，不代表i黑馬立場。

這里認(rèn)真推薦你報(bào)名：

黑馬·AI星球Agent實(shí)戰(zhàn)營

黑馬·AI星球Agent實(shí)戰(zhàn)營，系國內(nèi)?個(gè)基于“全鏈路業(yè)務(wù)拆解+Agent搭建實(shí)戰(zhàn)”的企業(yè)級(jí)Agent實(shí)戰(zhàn)營，3天閉關(guān)+90天陪跑，讓你帶走：

1、一套完整的企業(yè)級(jí)Agent構(gòu)建方法論

2、一個(gè)基于真實(shí)業(yè)務(wù)場景的可運(yùn)行Agent Demo

3、一份量身定制的落地推進(jìn)計(jì)劃

4、在線陪跑與生態(tài)資源對(duì)接支持

讓AI真正落地變現(xiàn)！

掃碼咨詢報(bào)名

活動(dòng)詳情如下