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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

“這是一支用數學思維重構AI的‘復仇者聯盟’。” 硅谷投資人評價道。

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

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

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

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

使命感：“讓數學發現像互聯網一樣指數級增長”——這句公司宣言，呼應著潮商“敢為天下先”的開拓基因。

五、00后創業潮：當“數學天才”遇上AI黃金時代

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

DeepSeek（廣東85后梁文鋒創立）以數學推理突破大模型瓶頸；

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

Mercor（三位00后創立）刷新AI招聘融資紀錄。

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

洪樂潼用4.6億融資證明：真正的創新，始于對基礎科學的敬畏，成于對商業本質的洞察。“數學發現的未來，就從這里開始。” 這或許正是潮商精神在AI時代的最佳注解——以智慧為帆，以勇氣為槳，在未知的藍海中開辟新航路。

近日，洪樂潼在X平臺上發布了Axiom的宣傳視頻，稱“我們正在打造一個能夠自我改進的超級智能推理系統，起點是一個AI數學家。”圖源：X@Carina Hong