作者：王露

來源：投資界（ID：pedaily2012）

“00后們開始起跑了。”本周，一個有點陌生的名字——洪樂潼，密集出現(xiàn)在AI投資人的交流里。

這源自于The Information的報道，0產(chǎn)品0客戶，甚至還沒有正式官網(wǎng)的AI初創(chuàng)公司Axiom正在進行5000萬美元融資，估值約3億到5億美元。有意思的是，公司將用AI解決數(shù)學難題，與今天的高考十分應景。

消息一出，立刻在硅谷和國內(nèi)創(chuàng)投圈刷屏，背后創(chuàng)始人一夜爆火——締造Axiom的正是00后學霸洪樂潼（Carina Hong）。

在廣州出生長大，洪樂潼曾就讀于著名的華南師大附中，多次拿下奧數(shù)競賽獎牌。后考入麻省理工學院，碩士畢業(yè)于牛津大學。如今20出頭的她，正在斯坦福大學攻讀數(shù)學和法學博士雙學位。目前，洪樂潼在社交平臺回應融資消息“不實”。但可以確定的是，Axiom正在招聘AI數(shù)學人才。

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

01

一位00后女學霸爆紅

來自廣州

公開資料顯示，洪樂潼是位00后，出生于廣州市。父母是土生土長的潮汕人，并沒有接受過高等教育，她是家里的第一代大學生。

自小洪樂潼就對數(shù)學興趣濃厚，中學就讀于廣州名校華南師范附中，多次在“華羅庚金杯”、全國高中數(shù)學聯(lián)賽等競賽中取得好名次。

2019年，洪樂潼考入麻省理工學院，攻讀數(shù)學和物理雙學位。本科期間，她曾擔任數(shù)學協(xié)會主席，并修讀了20個碩博課程，發(fā)表多篇高質量學術論文，涉及模橢圓曲線與K3曲面的L函數(shù)、月光猜想、彈出棧排序算法研究等領域。

畢業(yè)前后，洪樂潼拿獎不斷。先是拿下Schafer數(shù)學卓越獎，該獎每年僅頒發(fā)給一名本科女生。后獲得北美數(shù)學本科生的最高榮譽——摩根獎，她是第五位獲此殊榮的女生。

圖片來源：麻省理工學院

在學界嶄露頭角是2021年底，洪樂潼成功拿到了牛津大學羅德獎學金，成為僅有的四名中國獲獎者之一。

羅德獎學金是世界上歷史最悠久、最負盛名的國際獎學金項目之一，有“本科諾貝爾獎”的美譽。每年從全球選拔約100位“羅德學者”，全額資助他們前往英國牛津大學深造。如今，獲獎者中已產(chǎn)生了四十多位全球領導人和十幾位諾貝爾獎得主。

次年，洪樂潼前往英國牛津大學學習神經(jīng)科學，獲得碩士學位。期間還在倫敦大學學院進行人工智能和機器學習研究，當時她曾表示，“人工智能與科學家未來的互動會怎樣？是我接下來希望研究的課題。”

到了2024年8月，洪樂潼進入斯坦福大學攻讀數(shù)學博士和法學博士。“一直以來，我都是一名研究者。”此前一次采訪中她稱，內(nèi)心深處最想要解決真正困難的技術問題。很快，還在博士就讀的她闖入了AI界。

02

創(chuàng)業(yè)瞄準AI+數(shù)學

正在招人

洪樂潼的創(chuàng)業(yè)項目，也跟數(shù)學有關。

The Information的一篇報道，掀開了這家初創(chuàng)公司的神秘一角。報道稱洪樂潼的AI初創(chuàng)公司名為Axiom，意為公理，是構建數(shù)學理論的出發(fā)點。

Axiom將專注于數(shù)學領域，通過學習嚴格的邏輯推理和數(shù)學證明的過程，AI能夠像數(shù)學家一樣構建和驗證形式化證明，并保證結果的準確性和嚴謹性。目標客戶之一是對沖基金和量化交易公司，可快速解決投資、股市等金融領域的復雜數(shù)學問題。

盡管目前Axiom還沒有開發(fā)出一款產(chǎn)品，但已經(jīng)吸引到了投資人。曾投出Perplexity等獨角獸的B Capital正在就最新一輪5000萬美元的融資展開談判，或許領投本輪。Axiom的估值預計達3億-5億美元。

但很快，洪樂潼在社交平臺否認了這一融資信息，稱報道并不準確。

不過Axiom確為洪樂潼的最新創(chuàng)業(yè)項目，并且正在公開招聘AI數(shù)學人才。

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

她舉例稱，美國數(shù)學邀請賽考試中，部分大語言模型可以達到96%的準確率，但當要求展示證明過程時，分數(shù)驟降至5%。

“為什么會有這樣的差異？因為訓練方式有問題。”而當前AI大模型無法完美解決的組合數(shù)學問題，恰恰是洪樂潼的研究專長。

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

如今，跟隨廣東老鄉(xiāng)梁文鋒的腳步，剛剛20出頭的洪樂潼也踏上了新征程。

03

AI造富

00后開始集體登場

這一波AI風口上，站滿了00后。

就在上個月，AI初創(chuàng)公司Anysphere完成一輪9億美元融資（約合人民幣65億元），估值達90億美元（約合人民幣650億元），成為今年最火AI編程獨角獸。

掌舵公司的是四位年輕面孔。2022年，剛剛從麻省理工學院畢業(yè)的Michael Truell和他三位同學一拍即合，瞄準AI編程賽道下場創(chuàng)業(yè)，旗下產(chǎn)品Cursor一舉改變編程方式，迅速席卷硅谷AI圈。

無獨有偶。今年3月，AI招聘網(wǎng)站Mercor宣布完成1億美元B輪融資，估值達到20億美元（約合人民幣145億元），是上輪估值的8倍，成長速度令人咋舌。

公司創(chuàng)始人是三位退學的00后。大二那年，三人在宿舍里創(chuàng)立Mercor，決定從哈佛及喬治敦大學退學全職創(chuàng)業(yè)。只用了兩年時間，公司一躍成為百億級別獨角獸。

還有同為AI編程公司Magic。這家僅有20多位員工的公司已獲 NVIDIA、Sequoia、Alphabet等知名機構超5億美元投資，估值達15億美元。背后是位2000年出生的少年天才，從劍橋大學三一學院計算機專業(yè)輟學創(chuàng)業(yè)。

我們將目光拉回到大洋彼岸，國內(nèi)00后創(chuàng)始人同樣開始嶄露頭角。

去年，靈初智能完成天使輪融資，由高瓴創(chuàng)投和藍馳創(chuàng)投領投。公司聯(lián)合創(chuàng)始人陳源培是一名癡迷機器人的00后，曾作為Stanford訪問學者師從Karen Liu和李飛飛教授。

還有具身智能公司UniX AI創(chuàng)始人兼CEO楊豐瑜，出生于2000年，本科就讀于密歇根大學計算機專業(yè)，從耶魯大學博士畢業(yè)后回國創(chuàng)業(yè)。

細看下來，他們都有著極為漂亮的履歷：考入名校，奧賽獎杯、國家獎學金傍身，有著遠超同齡人的優(yōu)秀，也有著國際化的視野。

時代紅利，誰都不想錯過。一種普遍的聲音是，互聯(lián)網(wǎng)時代屬于70后，80后和90后坐上了移動互聯(lián)網(wǎng)的列車，而AI終于輪到00后們。“先上桌，再吃飯”成為先吃螃蟹那批人的共識。

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

“我們始終堅信，創(chuàng)業(yè)在很多時候是屬于年輕人的。”真格基金管理合伙人戴雨森在天津大學分享稱，“無知者無畏。諸多科技創(chuàng)新成果誕生，正是源于當事人雖了解卻無所畏懼，由此萌生出創(chuàng)新想法。”

往昔風云起，今朝我輩繼。AI風起時，少年已躍馬前行，奔赴這場新江湖。

THE END