「00後們開始起跑了。」本周，一個有點陌生的名字洪樂潼，密集出現在AI投資人的交流里。
這源自於The Information的報道，0產品0客戶，甚至還沒有正式官網的AI初創公司Axiom正在進行5000萬美元融資，估值約3億到5億美元。有意思的是，公司將用AI解決數學難題，與今天的高考十分應景。
消息一出，立刻在矽谷和國內創投圈刷屏，背後創始人一夜爆火締造Axiom的正是00後學霸洪樂潼（Carina Hong）。
在廣州出生長大，洪樂潼曾就讀於著名的華南師大附中，多次拿下奧數競賽獎牌。後考入麻省理工學院，碩士畢業於牛津大學。如今20出頭的她，正在史丹福大學攻讀數學和法學博士雙學位。目前，洪樂潼在社交平台回應融資消息「不實」。但可以確定的是，Axiom正在招聘AI數學人才。
悄然間，00後創始人正在登上AI舞台。
一位00後女學霸爆紅
來自廣州
公開資料顯示，洪樂潼是位00後，出生於廣州市。父母是土生土長的潮汕人，並沒有接受過高等教育，她是家裏的第一代大學生。
自小洪樂潼就對數學興趣濃厚，中學就讀於廣州名校華南師範附中，多次在「華羅庚金杯」、全國高中數學聯賽等競賽中取得好名次。
2019年，洪樂潼考入麻省理工學院，攻讀數學和物理雙學位。本科期間，她曾擔任數學協會主席，並修讀了20個碩博課程，發表多篇高質量學術論文，涉及模橢圓曲線與K3曲面的L函數、月光猜想、彈出棧排序算法研究等領域。
畢業前後，洪樂潼拿獎不斷。先是拿下Schafer數學卓越獎，該獎每年僅頒發給一名本科女生。後獲得北美數學本科生的最高榮譽摩根獎，她是第五位獲此殊榮的女生。
在學界嶄露頭角是2021年底，洪樂潼成功拿到了牛津大學羅德獎學金，成為僅有的四名中國獲獎者之一。
羅德獎學金是世界上歷史最悠久、最負盛名的國際獎學金項目之一，有「本科諾貝爾獎」的美譽。每年從全球選拔約100位「羅德學者」，全額資助他們前往英國牛津大學深造。如今，獲獎者中已產生了四十多位全球領導人和十幾位諾貝爾獎得主。
次年，洪樂潼前往英國牛津大學學習神經科學，獲得碩士學位。期間還在倫敦大學學院進行人工智能和機器學習研究，當時她曾表示，「人工智能與科學家未來的互動會怎樣？是我接下來希望研究的課題。」
到了2024年8月，洪樂潼進入史丹福大學攻讀數學博士和法學博士。「一直以來，我都是一名研究者。」此前一次採訪中她稱，內心深處最想要解決真正困難的技術問題。很快，還在博士就讀的她闖入了AI界。
創業瞄準AI+數學
正在招人
洪樂潼的創業項目，也跟數學有關。
The Information的一篇報道，掀開了這家初創公司的神秘一角。報道稱洪樂潼的AI初創公司名為Axiom，意為公理，是構建數學理論的出發點。
Axiom將專注於數學領域，通過學習嚴格的邏輯推理和數學證明的過程，AI能夠像數學家一樣構建和驗證形式化證明，並保證結果的準確性和嚴謹性。目標客戶之一是對沖基金和量化交易公司，可快速解決投資、股市等金融領域的複雜數學問題。
儘管目前Axiom還沒有開發出一款產品，但已經吸引到了投資人。曾投出Perplexity等獨角獸的B Capital正在就最新一輪5000萬美元的融資展開談判，或許領投本輪。Axiom的估值預計達3億-5億美元。
但很快，洪樂潼在社交平台否認了這一融資信息，稱報道並不準確。
不過Axiom確為洪樂潼的最新創業項目，並且正在公開招聘AI數學人才。
追溯其為何瞄準AI數學賽道，還有一段插曲。今年ChatGPT o3曾被爆出數學測試作弊，洪樂潼在社交媒體指出，OpenAI的大模型之所以在數學測試中表現良好，可能是因為該公司在訓練模型時已接觸過這些題目。
她舉例稱，美國數學邀請賽考試中，部分大語言模型可以達到96%的準確率，但當要求展示證明過程時，分數驟降至5%。
「為什麼會有這樣的差異？因為訓練方式有問題。」而當前AI大模型無法完美解決的組合數學問題，恰恰是洪樂潼的研究專長。
值得一提的是，就在年初DeepSeek火爆全球之際，洪樂潼曾發出這樣的感慨：「一個小而專注、特立獨行的團隊。一群理想主義者組成的優秀合作夥伴。他們執行力強，親力親為。最珍貴的，是那份理想與使命交織的信念。這就是DeepSeek的故事，也是我想親自書寫的故事。」
如今，跟隨廣東老鄉梁文鋒的腳步，剛剛20出頭的洪樂潼也踏上了新征程。
AI造富
00後開始集體登場
這一波AI風口上，站滿了00後。
就在上個月，AI初創公司Anysphere完成一輪9億美元融資（約合人民幣65億元），估值達90億美元（約合人民幣650億元），成為今年最火AI編程獨角獸。
掌舵公司的是四位年輕面孔。2022年，剛剛從麻省理工學院畢業的Michael Truell和他三位同學一拍即合，瞄準AI編程賽道下場創業，旗下產品Cursor一舉改變編程方式，迅速席捲矽谷AI圈。
無獨有偶。今年3月，AI招聘網站Mercor宣佈完成1億美元B輪融資，估值達到20億美元（約合人民幣145億元），是上輪估值的8倍，成長速度令人咋舌。
公司創始人是三位退學的00後。大二那年，三人在宿舍里創立Mercor，決定從哈佛及喬治敦大學退學全職創業。只用了兩年時間，公司一躍成為百億級別獨角獸。
還有同為AI編程公司Magic。這家僅有20多位員工的公司已獲 NVIDIA、Sequoia、Alphabet等知名機構超5億美元投資，估值達15億美元。背後是位2000年出生的少年天才，從劍橋大學三一學院計算機專業輟學創業。
我們將目光拉回到大洋彼岸，國內00後創始人同樣開始嶄露頭角。
去年，靈初智能完成天使輪融資，由高瓴創投和藍馳創投領投。公司聯合創始人陳源培是一名痴迷機械人的00後，曾作為Stanford訪問學者師從Karen Liu和李飛飛教授。
還有具身智能公司UniX AI創始人兼CEO楊豐瑜，出生於2000年，本科就讀於密歇根大學計算機專業，從耶魯大學博士畢業後回國創業。
細看下來，他們都有着極為漂亮的履歷：考入名校，奧賽獎盃、國家獎學金傍身，有着遠超同齡人的優秀，也有着國際化的視野。
時代紅利，誰都不想錯過。一種普遍的聲音是，互聯網時代屬於70後，80後和90後坐上了移動互聯網的列車，而AI終於輪到00後們。「先上桌，再吃飯」成為先吃螃蟹那批人的共識。
身邊投資人分析，這一波AI創業潮中，00後和90後、80後的創始人起點都一樣，甚至前者優勢更大。因為很多事物太新了，原有經驗無法直接復用，而00後沒有包袱，對新事物的認知觸感更多。
「我們始終堅信，創業在很多時候是屬於年輕人的。」真格基金管理合伙人戴雨森在天津大學分享稱，「無知者無畏。諸多科技創新成果誕生，正是源於當事人雖了解卻無所畏懼，由此萌生出創新想法。」
往昔風雲起，今朝我輩繼。AI風起時，少年已躍馬前行，奔赴這場新江湖。
