作者：劉博 王露

圖源：麻省理工學(xué)院

創(chuàng)投圈的00后面孔越來越多了。

我們獲悉，Axiom Math正式完成首輪6400萬美元（約合人民幣4.6億元）融資，由B Capital領(lǐng)投，Greycroft、Madrona和Menlo Ventures等機(jī)構(gòu)參與，投后估值3億美元（約合人民幣20億元）。

締造Axiom的正是00后洪樂潼（Carina Hong）——在廣州出生長大，她曾就讀于著名的華南師大附中，多次拿下奧數(shù)競賽獎牌。后考入麻省理工學(xué)院，碩士畢業(yè)于牛津大學(xué)，又來到斯坦福大學(xué)攻讀博士學(xué)位。頗為戲劇性的是，Axiom的誕生來自于一次咖啡館的交流。

悄然間，00后創(chuàng)始人正在大舉登上AI舞臺。

1

10個人，完成首輪融資

估值20億

Axiom是誰？

官網(wǎng)顯示，這家嶄露頭角的AI公司，定位為“以AI數(shù)學(xué)家為起點，打造一個能夠自我提升的超級智能推理系統(tǒng)”。換言之，這是一個可以解決復(fù)雜數(shù)學(xué)問題的模型，可以生成為獲得答案所采取的不同步驟的詳細(xì)推理，同時進(jìn)行驗證。

具體而言，Axiom的想法是將教科書、論文和期刊中的英文數(shù)學(xué)內(nèi)容轉(zhuǎn)換為程序化知識，以便人工智能可以解決數(shù)學(xué)問題，并能通過驗證來檢驗解答。未來，這一模型的研究場景有望拓展到金融建模、芯片架構(gòu)甚至是量化交易等領(lǐng)域。在創(chuàng)始人洪樂潼的設(shè)想中，該模型或許能提出新的數(shù)學(xué)猜想，由此產(chǎn)生全新的知識。

為何瞄準(zhǔn)AI數(shù)學(xué)賽道？當(dāng)中有一段插曲。今年ChatGPT o3曾被爆出數(shù)學(xué)測試作弊，洪樂潼在社交媒體指出，OpenAI的大模型之所以在數(shù)學(xué)測試中表現(xiàn)良好，可能是因為該公司在訓(xùn)練模型時已接觸過這些題目。

她舉例稱，美國數(shù)學(xué)邀請賽考試中，部分大語言模型可以達(dá)到96%的準(zhǔn)確率，但當(dāng)要求展示證明過程時，分?jǐn)?shù)驟降至5%?！盀槭裁磿羞@樣的差異？因為訓(xùn)練方式有問題?！碑?dāng)前AI大模型無法完美解決的組合數(shù)學(xué)問題，恰恰是洪樂潼的研究專長。

在Axiom看來，人工智能帶來了一個歷史性的轉(zhuǎn)折點，即數(shù)學(xué)領(lǐng)域的發(fā)現(xiàn)能夠以指數(shù)級的速度迅猛發(fā)展，因此現(xiàn)在正站在一場數(shù)學(xué)復(fù)興的門檻之上。而這場復(fù)興建又立在三大支柱之上：人工智能、編程語言以及數(shù)學(xué)。三者共同推動著一系列發(fā)現(xiàn)的出現(xiàn)，每一次突破都會為下一次創(chuàng)新提供強(qiáng)大的動力。

如今首輪融資正式出爐，Axiom的核心團(tuán)隊也首次亮相——盡管目前僅有10名全職員工，但當(dāng)中不乏多位來自Meta的AI大牛。

例如現(xiàn)任CTO Shubho Sengupta，曾領(lǐng)導(dǎo)Meta FAIR團(tuán)隊，開發(fā)出OpenGo和CrypTen，此前他還參與過Google分布式訓(xùn)練系統(tǒng)的研究工作，同時也是最早開發(fā)CUDA技術(shù)的專家之一；Fran?ois Charton，則在Meta負(fù)責(zé)過大語言模型在數(shù)學(xué)和理論物理學(xué)的研究，他在2019年就開始探索如何將Transformer技術(shù)應(yīng)用于復(fù)雜的數(shù)學(xué)問題；Hugh Leather，也是Meta前人工智能研究科學(xué)家，曾開發(fā)出首批用于編譯器和GPU代碼生成的大語言模型。

作為此次領(lǐng)投方，B Capital合伙人在官網(wǎng)中表示，解決復(fù)雜的數(shù)學(xué)問題是許多人類發(fā)明的核心，因此一種能夠提出新的定量假設(shè)并進(jìn)行驗證的工具，從而為決策提供可靠的依據(jù)，無疑會具有極高的價值。而Axiom團(tuán)隊也具備獨特的優(yōu)勢，能夠抓住這一機(jī)遇，將先進(jìn)的數(shù)學(xué)推理技術(shù)變?yōu)楝F(xiàn)實。

“Carina Hong是一位杰出的數(shù)學(xué)家，她不僅擁有非凡的學(xué)術(shù)成就，更具備最優(yōu)秀的創(chuàng)業(yè)者所具備的那種熱情與專注力，她將遠(yuǎn)見卓識的領(lǐng)導(dǎo)力與堅定不移的執(zhí)行力完美地結(jié)合在了一起?！彼恼鞒滩艅倓傞_始。

2

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

來自廣州

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

出生于廣州，今年24歲，她的父母是土生土長的潮汕人。盡管父母并沒有接受過高等教育，洪樂潼卻自幼展現(xiàn)出不凡的數(shù)學(xué)天賦，她中學(xué)就讀于廣東名校華南師范附中。高中時期，洪樂潼是數(shù)學(xué)奧林匹克省隊的唯一四名女生之一，多次在“華羅庚金杯”、全國高中數(shù)學(xué)聯(lián)賽等競賽中取得好名次。2019年，她考入麻省理工學(xué)院，攻讀數(shù)學(xué)和物理雙學(xué)位。

本科期間，洪樂潼曾擔(dān)任數(shù)學(xué)協(xié)會主席，并修讀20個碩博課程，發(fā)表多篇高質(zhì)量學(xué)術(shù)論文，涉及模橢圓曲線與K3曲面的L函數(shù)、月光猜想、彈出棧排序算法研究等領(lǐng)域。畢業(yè)前后，洪樂潼先是拿下Schafer數(shù)學(xué)卓越獎，該獎每年僅頒發(fā)給一名本科女生；后獲得北美數(shù)學(xué)本科生的最高榮譽——摩根獎，她是第五位獲此殊榮的女生。

2022年底，洪樂潼成功拿到牛津大學(xué)羅德獎學(xué)金，成為僅有的四名中國獲獎?wù)咧弧Ａ_德獎學(xué)金是世界上歷史最悠久、最負(fù)盛名的國際獎學(xué)金項目之一，有“本科諾貝爾獎”的美譽。

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

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

她創(chuàng)辦Axiom源于一次在咖啡館的交流。

去年秋天的一個周末，洪樂潼在斯坦福附近的一家咖啡館，與當(dāng)時還在Meta工作的Shubho Sengupta進(jìn)行了交流。兩人聊了幾個小時，討論了各自研究領(lǐng)域的交叉點，以及開發(fā)人工智能解決世界上最棘手的數(shù)學(xué)問題的可能性。

這次交流后不久，洪樂潼便從斯坦福退學(xué)，著手創(chuàng)辦Axiom。有意思的是，Axiom的會議室都是以數(shù)學(xué)巨匠來命名，例如高斯和阿達(dá)·洛夫萊斯。

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

正如Axiom在官網(wǎng)中所言，“數(shù)學(xué)發(fā)現(xiàn)的未來，就從這里開始?！?/p>

3

投身AI

00后正集體登場

放眼望去，00后創(chuàng)始人正集體登上AI舞臺。

不久前，兩位來自麻省理工的00后——22歲的華裔女生Jessica Wu和23歲的尼爾·德什穆克，所創(chuàng)立的Sola Solutions拿下硅谷知名風(fēng)投的融資。官網(wǎng)顯示，融資包括由Conviction領(lǐng)投的350萬美元種子輪，以及由a16z領(lǐng)投、Conviction跟投的1750萬美元A輪，總計2100萬美元（約合人民幣1.5億元）。

這樣的案例正在涌現(xiàn)。

今年5月，AI初創(chuàng)公司Anysphere完成一輪9億美元融資（約合人民幣65億元），估值達(dá)90億美元，成為今年最火AI編程獨角獸之一。而掌舵公司的是四位年輕面孔——2022年，從麻省理工學(xué)院畢業(yè)的Michael Truell和他三位同學(xué)一拍即合，瞄準(zhǔn)AI編程賽道下場創(chuàng)業(yè)，旗下產(chǎn)品Cursor一舉改變編程方式，迅速席卷硅谷AI圈。

無獨有偶，今年3月AI招聘網(wǎng)站Mercor宣布完成1億美元B輪融資，估值達(dá)到20億美元，成長速度令人咋舌。公司創(chuàng)始人是三位退學(xué)的00后。大二那年，三人在宿舍里創(chuàng)立Mercor，后來決定從哈佛及喬治敦大學(xué)退學(xué)全職創(chuàng)業(yè)。

我們將視野拉回到國內(nèi)，相似一幕同樣上演。

今年初，三個來自清華的“00后極客”——閔宇恒、程頤、李宜哲創(chuàng)業(yè)做機(jī)器人，零次方誕生。如今公司一舉完成天使+和天使++輪億元級融資，集結(jié)河創(chuàng)投、同創(chuàng)偉業(yè)、力合科創(chuàng)、水木基金、瑞穗力合、拉爾夫創(chuàng)投等知名機(jī)構(gòu)。

還有此前完成天使輪融資的靈初智能，由高瓴創(chuàng)投和藍(lán)馳創(chuàng)投領(lǐng)投，公司聯(lián)合創(chuàng)始人陳源培是一名癡迷機(jī)器人的00后，曾作為Stanford訪問學(xué)者師從Karen Liu和李飛飛教授；具身智能公司UniX AI創(chuàng)始人兼CEO楊豐瑜，出生于2000年，本科就讀于密歇根大學(xué)計算機(jī)專業(yè)，從耶魯大學(xué)博士畢業(yè)后回國創(chuàng)業(yè)，同樣受到不少VC的關(guān)注。

一支00后軍團(tuán)悄然崛起。曾有投資人分析，這一波AI創(chuàng)業(yè)潮中，00后和90后、80后的創(chuàng)始人起點都一樣，甚至前者優(yōu)勢更大。因為很多事物太新了，原有經(jīng)驗無法直接復(fù)用，而00后沒有包袱，對新事物的認(rèn)知觸感更多。

“我們始終堅信，創(chuàng)業(yè)在很多時候是屬于年輕人的?！闭娓窕鸸芾砗匣锶舜饔晟罱袊@，“無知者無畏。諸多科技創(chuàng)新成果誕生，正是源于當(dāng)事人雖了解卻無所畏懼，由此萌生出創(chuàng)新想法。”

“少年負(fù)壯氣，奮烈自有時?！泵恳淮贻p的創(chuàng)業(yè)者，注定在歷史長河里留下屬于自己的印記。

說明：發(fā)布并不意味著我們贊同其觀點，只為多一個視角看待問題，部分信息和圖片無法核準(zhǔn)，如涉權(quán)益，煩請聯(lián)系，我們將迅速處理，謝謝！有融資需求請加微信（FA_rzj），為方便備注，申請好友時請發(fā)送（姓名·城市·公司·職務(wù)）

- The End -

我們已經(jīng)與阿里巴巴創(chuàng)新投資、達(dá)晨創(chuàng)投、高瓴資本、高榕資本、高特佳投資、戈壁創(chuàng)投、國新風(fēng)投、國中創(chuàng)投、紅杉資本、華映資本、火山石投資、IDG、經(jīng)緯中國、今日資本、紀(jì)源資本、君聯(lián)資本、聯(lián)想之星、藍(lán)馳創(chuàng)投、梅花天使基金、平安創(chuàng)投、啟賦資本、軟銀中國、賽伯樂投資、賽富基金、深創(chuàng)投、天圖資本、騰訊投資、五源資本、毅達(dá)資本、英諾天使基金、優(yōu)勢資本、真格基金、浙商創(chuàng)投、中國風(fēng)投、中國文化產(chǎn)業(yè)投資等近千家知名投資機(jī)構(gòu)2000余名專業(yè)投資人建立廣泛聯(lián)系和合作。