潮汕00后天才少女創(chuàng)辦的Axiom Math首輪融資4.6億，估值20億！

近日，創(chuàng)投圈被一則重磅消息點(diǎn)燃：潮汕籍00后天才少女洪樂潼創(chuàng)立的AI數(shù)學(xué)公司Axiom Math，僅用10人團(tuán)隊(duì)便拿下首輪6400萬美元（約4.6億人民幣）融資，投后估值飆升至20億人民幣！這位麻省理工本科、牛津碩士、斯坦福博士的“三料學(xué)霸”，用一場(chǎng)教科書級(jí)的創(chuàng)業(yè)突圍，再次印證了“少年負(fù)壯氣，奮烈自有時(shí)”的潮商精神。

一、從奧數(shù)冠軍到硅谷獨(dú)角獸：一場(chǎng)咖啡館里的“數(shù)學(xué)革命”

洪樂潼的故事，始于華南師大附中的奧數(shù)省隊(duì)。作為廣東奧數(shù)省隊(duì)僅有的四名女生之一，她曾獲“華羅庚金杯”全國(guó)高中數(shù)學(xué)聯(lián)賽冠軍，高中時(shí)期便發(fā)表多篇數(shù)論、組合學(xué)前沿論文。但命運(yùn)的轉(zhuǎn)折點(diǎn)，卻藏在一次硅谷咖啡館的偶遇中——

2024年秋，斯坦福大學(xué)數(shù)學(xué)系在讀博士洪樂潼，在舊金山Verve Coffee Roasters偶遇Meta前AI研究員Shubho Sengupta。兩人圍繞“AI能否攻克復(fù)雜數(shù)學(xué)證明”激烈討論，一拍即合。隨后共同創(chuàng)立Axiom Math，立志打造“能自我迭代的AI數(shù)學(xué)家”。

Axiom公司創(chuàng)辦人洪樂潼圖片來源：麻省理工學(xué)院

二、技術(shù)破局：讓AI像數(shù)學(xué)家一樣“思考”

傳統(tǒng)AI的“黑箱”困境，在金融量化領(lǐng)域尤為致命。洪樂潼團(tuán)隊(duì)另辟蹊徑，瞄準(zhǔn)數(shù)學(xué)推理自動(dòng)化賽道：

核心突破：將教科書、論文中的數(shù)學(xué)內(nèi)容轉(zhuǎn)化為程序化知識(shí)，使AI能像數(shù)學(xué)家一樣構(gòu)建、驗(yàn)證證明，并輸出可追溯的推理邏輯。

應(yīng)用場(chǎng)景：為對(duì)沖基金、量化機(jī)構(gòu)提供“數(shù)學(xué)即服務(wù)”（Math as a Service），解決投資組合優(yōu)化、風(fēng)險(xiǎn)建模等復(fù)雜問題。

技術(shù)壁壘：團(tuán)隊(duì)獨(dú)創(chuàng)的“嚴(yán)格驗(yàn)證框架”，確保AI解答100%可驗(yàn)證，徹底打破“答案正確但過程錯(cuò)誤”的行業(yè)痛點(diǎn)。

三、王牌團(tuán)隊(duì)：Meta系精英的“降維打擊”

盡管公司成立僅半年多，Axiom Math已集結(jié)Meta系頂尖人才：

CTO Shubho Sengupta：Meta FAIR團(tuán)隊(duì)前負(fù)責(zé)人，主導(dǎo)開發(fā)OpenGo（圍棋AI）和CrypTen（隱私計(jì)算框架）；

數(shù)學(xué)負(fù)責(zé)人Fran?ois Charton：Meta大模型數(shù)學(xué)應(yīng)用先驅(qū)，2019年率先探索Transformer在數(shù)學(xué)證明中的應(yīng)用；

科學(xué)家Hugh Leather：Meta編譯器與GPU代碼生成模型核心開發(fā)者。

“這是一支用數(shù)學(xué)思維重構(gòu)AI的‘復(fù)仇者聯(lián)盟’。” 硅谷投資人評(píng)價(jià)道。

四、潮商基因：從廣州到硅谷的“少年派”

洪樂潼的成長(zhǎng)軌跡，烙印著鮮明的潮商精神：

天賦與勤奮：盡管出生普通家庭，她憑自學(xué)3年修完麻省理工雙學(xué)位，發(fā)表9篇頂刊論文；

跨界視野：牛津攻讀神經(jīng)科學(xué)，斯坦福探索“法律+AI”，始終站在學(xué)科交叉點(diǎn)；

使命感：“讓數(shù)學(xué)發(fā)現(xiàn)像互聯(lián)網(wǎng)一樣指數(shù)級(jí)增長(zhǎng)”——這句公司宣言，呼應(yīng)著潮商“敢為天下先”的開拓基因。

五、00后創(chuàng)業(yè)潮：當(dāng)“數(shù)學(xué)天才”遇上AI黃金時(shí)代

洪樂潼的崛起絕非偶然。2025年，以“數(shù)學(xué)+AI”為代表的硬科技賽道正迎來爆發(fā)：

DeepSeek（廣東85后梁文鋒創(chuàng)立）以數(shù)學(xué)推理突破大模型瓶頸；

Anysphere（MIT華裔團(tuán)隊(duì)）用AI編程工具估值90億美元；

Mercor（三位00后創(chuàng)立）刷新AI招聘融資紀(jì)錄。

“這一代年輕人不再追逐風(fēng)口，而是創(chuàng)造風(fēng)口。” 真格基金戴雨森如是說。

洪樂潼用4.6億融資證明：真正的創(chuàng)新，始于對(duì)基礎(chǔ)科學(xué)的敬畏，成于對(duì)商業(yè)本質(zhì)的洞察。“數(shù)學(xué)發(fā)現(xiàn)的未來，就從這里開始。” 這或許正是潮商精神在AI時(shí)代的最佳注解——以智慧為帆，以勇氣為槳，在未知的藍(lán)海中開辟新航路。

近日，洪樂潼在X平臺(tái)上發(fā)布了Axiom的宣傳視頻，稱“我們正在打造一個(gè)能夠自我改進(jìn)的超級(jí)智能推理系統(tǒng)，起點(diǎn)是一個(gè)AI數(shù)學(xué)家。”圖源：X@Carina Hong