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

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

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

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

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

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

傳統(tǒng)AI的“黑箱”困境，在金融量化領域尤為致命。洪樂潼團隊另辟蹊徑，瞄準數(shù)學推理自動化賽道：

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

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

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

三、王牌團隊：Meta系精英的“降維打擊”

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

CTO Shubho Sengupta：Meta FAIR團隊前負責人，主導開發(fā)OpenGo（圍棋AI）和CrypTen（隱私計算框架）；

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

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

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

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

洪樂潼的成長軌跡，烙印著鮮明的潮商精神：

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

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

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

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

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

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

Anysphere（MIT華裔團隊）用AI編程工具估值90億美元；

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

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

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

近日，洪樂潼在X平臺上發(fā)布了Axiom的宣傳視頻，稱“我們正在打造一個能夠自我改進的超級智能推理系統(tǒng)，起點是一個AI數(shù)學家?！眻D源：X@Carina Hong