訂閱 快刀財經(jīng) ▲ 做您的私人商學(xué)院

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

作者 ：王露

來源：投資界（ID：pedaily2012）

投資界獲悉最新一筆融資——

洪樂潼創(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ù)競賽中獲獎。此后，她的求學(xué)軌跡橫跨麻省理工學(xué)院、牛津大學(xué)，直至在斯坦福大學(xué)攻讀博士學(xué)位期間，選擇投身創(chuàng)業(yè)浪潮。

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

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

01

剛剛?cè)谫Y14億

成立一年，估值110億

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

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

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

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

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

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

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

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

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

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

Axiom的答案是可驗證人工智能（Verified AI）。

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

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

“Verified AI關(guān)注的，絕不僅僅是修補AI的缺點。真正瞄準(zhǔn)的，是AI的上限，是通向超級智能的階梯?！?/p>

02

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

來自廣州

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

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

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

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

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

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

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

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

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

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

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

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

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

03

AI時代

00后集體登場

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

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

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

這個名單還有很長。四位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歲，合計財富近7000億元人民幣。

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

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

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

快刀財經(jīng)已同步入駐：36氪、虎嗅網(wǎng)、鈦媒體、i黑馬、品途網(wǎng)、商界、趣頭條、砍柴網(wǎng)、梅花王、艾瑞專欄、億歐網(wǎng)、創(chuàng)業(yè)邦、知乎、雪球、今日頭條、百度百家、界面新聞、一點資訊、網(wǎng)易號、搜狐自媒體、鳳凰網(wǎng)、新浪財經(jīng)頭條、新浪看點、UC大魚號、天天快報、企鵝自媒體、投資界、思達(dá)派、獵云網(wǎng)、簡書等30多家自媒體平臺。

快刀財經(jīng)

社群 | 內(nèi)容 | 連接 | 商學(xué)院

商業(yè)快媒體、思維孵化器、價值試驗場和洗欲中心。專注互聯(lián)網(wǎng)以及互聯(lián)網(wǎng)正在影響的其他行業(yè)。有趣、有料、有態(tài)度，加入我們，擁有您的私人商學(xué)院。致力于為用戶提供營銷策劃、社群電商、創(chuàng)業(yè)投資和知識充電服務(wù)。

投稿、轉(zhuǎn)載、內(nèi)容合作，請?zhí)砑游⑿舏kuaidao