作者：劉博 王露

來(lái)源：投資界（ID：pedaily2012）

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

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

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

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

01

10個(gè)人，完成首輪融資

估值20億

Axiom是誰(shuí)？

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

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

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

她舉例稱(chēng)，美國(guó)數(shù)學(xué)邀請(qǐng)賽考試中，部分大語(yǔ)言模型可以達(dá)到96%的準(zhǔn)確率，但當(dāng)要求展示證明過(guò)程時(shí)，分?jǐn)?shù)驟降至5%?！盀槭裁磿?huì)有這樣的差異？因?yàn)橛?xùn)練方式有問(wèn)題。”當(dāng)前AI大模型無(wú)法完美解決的組合數(shù)學(xué)問(wèn)題，恰恰是洪樂(lè)潼的研究專(zhuān)長(zhǎng)。

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

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

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

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

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

02

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

來(lái)自廣州

Axiom的故事，離不開(kāi)一路開(kāi)掛的洪樂(lè)潼。

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

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

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

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

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

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

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

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

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

正如Axiom在官網(wǎng)中所言，“數(shù)學(xué)發(fā)現(xiàn)的未來(lái)，就從這里開(kāi)始。”

03

投身AI

00后正集體登場(chǎng)

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

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

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

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

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

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

今年初，三個(gè)來(lái)自清華的“00后極客”——閔宇恒、程頤、李宜哲創(chuàng)業(yè)做機(jī)器人，零次方誕生。如今公司一舉完成天使+和天使++輪億元級(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訪(fǎng)問(wèn)學(xué)者師從Karen Liu和李飛飛教授；具身智能公司UniX AI創(chuàng)始人兼CEO楊豐瑜，出生于2000年，本科就讀于密歇根大學(xué)計(jì)算機(jī)專(zhuān)業(yè)，從耶魯大學(xué)博士畢業(yè)后回國(guó)創(chuàng)業(yè)，同樣受到不少VC的關(guān)注。

一支00后軍團(tuán)悄然崛起。曾有投資人分析，這一波AI創(chuàng)業(yè)潮中，00后和90后、80后的創(chuàng)始人起點(diǎn)都一樣，甚至前者優(yōu)勢(shì)更大。因?yàn)楹芏嗍挛锾铝?，原有?jīng)驗(yàn)無(wú)法直接復(fù)用，而00后沒(méi)有包袱，對(duì)新事物的認(rèn)知觸感更多。

“我們始終堅(jiān)信，創(chuàng)業(yè)在很多時(shí)候是屬于年輕人的。”真格基金管理合伙人戴雨森最近感嘆，“無(wú)知者無(wú)畏。諸多科技創(chuàng)新成果誕生，正是源于當(dāng)事人雖了解卻無(wú)所畏懼，由此萌生出創(chuàng)新想法。”

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

THE END