近日,創投圈被一則重磅消息點燃:潮汕籍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
特別聲明:以上內容(如有圖片或視頻亦包括在內)為自媒體平臺“網易號”用戶上傳并發布,本平臺僅提供信息存儲服務。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.