國慶假期,創投圈被一則融資消息徹底點燃:由潮汕00后天才少女洪樂潼創辦的Axiom Math正式完成首輪約4.6億人民幣融資,公司投后估值達20億人民幣。
這位年僅24歲,頭頂“麻省理工本科+牛津碩士+斯坦福博士”光環的年輕創業者,用不到1年的時間,再次書寫AI時代的造富神話。
![]()
成立不到一年,10個人
拿下4.6億融資,估值20億
據投資界報道,近日,由00后華裔斯坦福博士洪樂潼創辦的Axiom Math正式完成首輪6400萬美元(約合人民幣4.6億元)融資,Greycroft、Madrona和Menlo Ventures等機構參與,投后估值3億美元(約合人民幣20億元)。
作為此次領投方,B Capital合伙人在官網中將洪樂潼稱作一個“推動數學超級智能的人”,并稱贊她“以驚人的速度組建了一支人才密度極高的創始團隊”。
![]()
據了解,Axiom成立于2025年3月,是一家定位于“數學AI”的創業公司,核心目標是打造能解決實際數學問題的人工智能系統。
這家嶄露頭角的AI公司旨在為對沖基金、量化交易機構等客戶提供復雜數學問題的快速解決方案。具體來看就是,Axiom的AI系統通過學習嚴格的邏輯推理和數學證明的過程,能夠像數學家一樣構建和驗證形式化證明,并保證結果的準確性和嚴謹性。借助Axiom,金融機構可無需耗費大量人力搭建龐大技術團隊,直接利用AI解決投資和股市中的復雜數學難題。這種“數學即服務”的模式,契合了當前金融市場對高效智能化技術的強烈需求。這種創新的技術理念使得Axiom在眾多AI初創公司中脫穎而出。
值得注意的是,Axiom這家新興的AI公司只有10名全職人員,但這個小而精的團隊成員個個都是行業頂尖:例如擔任CTO的Shubho Sengupta曾是Meta FAIR 團隊負責人,曾開發OpenGo和CrypTen;數學研究員Fran?ois Charton則在Meta負責過大語言模型在數學和理論物理學的研究,他在2019年就開始探索Transformer在數學證明中的應用;資深科學家Hugh Leather也是Meta前人工智能研究科學家,曾開發過編譯器與 GPU 代碼生成的大語言模型。
![]()
Axiom核心員工中大多數來自Meta
早在今年6月,Axiom便被爆出正在正在與投資者洽談5000萬美元(約合人民幣3.6億元)融資事宜,目標估值達3億至5億美元(約合人民幣21億-35億元),盡管當時這家初創公司尚未推出任何產品,0產品,0用戶。彼時,消息一出,立刻在硅谷和國內創投圈刷屏,也讓作為Axiom創始人的洪樂潼在一夜間迅速爆火。
如今,隨著首輪融資正式出爐,也意味Axiom這家成立不足1年的公司正式躋身“資本競速”賽道。
![]()
00后潮汕天才少女
從斯坦福退學創立Axiom Math
Axiom由00后洪樂潼(Carina Hong)締造。
據報道,洪樂潼出生于中國廣州,中學就讀于廣州名校華南師范附中,父母是土生土長的潮汕人。
![]()
Axiom公司創辦人洪樂潼圖片來源:麻省理工學院
盡管父母未接受高等教育,但洪樂潼自幼卻展現超凡的出數學天賦。她是廣東奧數省隊僅有的四名女生之一,還多次在“華羅庚金杯”、全國高中數學聯賽中獲獎。
高中畢業后,洪樂潼考入麻省理工學院,僅用三年時間便完成了數學與物理雙學位,期間發表9篇學術論文,涵蓋數論、組合學、代數幾何等純數學前沿領域,這在本科生中極為罕見。
同時,她也拿獎到手軟:先是獲得Schafer數學卓越獎,該獎每年僅頒發給一名本科女生;后又獲得北美數學本科生的最高榮譽——摩根獎,她是第五位獲此殊榮的女生。2021年底,洪樂潼獲得了極具競爭力的羅德獎學金,該獎學金由牛津大學頒發,是世界上歷史最悠久、最負盛名的國際獎學金項目之一,有“本科諾貝爾獎”的美譽,獲獎學者將赴牛津大學攻讀研究生課程。洪樂潼成為僅有的四名中國獲獎者之一。
![]()
2022年,洪樂潼前往英國牛津大學學習神經科學,獲得碩士學位。期間還在倫敦大學學院進行人工智能和機器學習研究。到了2024年8月,洪樂潼又進入斯坦福大學同時攻讀數學博士和法學學位,很快,還在博士就讀的她闖入了AI界。
頗為戲劇性的是,Axiom的誕生來自于一次咖啡館的交流。
2024年秋,仍在斯坦福大學攻讀博士的洪樂潼在學校附近的Verve Coffee Roasters咖啡館,偶然遇到了前Meta的AI研究員Shubho Sengupta,當時Sengupta正在研究能編寫軟件測試的大語言模型。
![]()
圖源:MIT News
當時,洪樂潼和Shubho Sengupta暢談了幾個小時,兩人討論了各自研究領域的交叉點。在關于能否用AI解決復雜數學問題這一話題上,他們一拍即合,隨即決定共同創業。
這次交流后不久,洪樂潼便從斯坦福退學,著手創辦Axiom,立志打造一款“AI數學家”。
2025 年 3 月,Axiom Math在舊金山正式成立。
![]()
近日,洪樂潼在X平臺上發布了Axiom的宣傳視頻,稱“我們正在打造一個能夠自我改進的超級智能推理系統,起點是一個AI數學家。”圖源:X@Carina Hong
在洪樂潼看來,數學是打造超級智能的完美試驗場。Axiom的理念是將教科書、論文和期刊里的英文數學內容轉化為程序化知識,這樣AI不僅可以解決復雜的數學問題,還能通過嚴格驗證來檢驗解答。
未來,洪樂潼希望“AI數學家”甚至能夠提出全新的數學猜想。
文中所用圖片來源網絡
【編者聲明】
本公眾號部分素材來自網絡,版權歸原作者所有。編者收集整理,旨在與大家分享學習。如您認為某些內容侵犯您的權益,請及時告知,我們核實后將采取相應措施。
特別聲明:以上內容(如有圖片或視頻亦包括在內)為自媒體平臺“網易號”用戶上傳并發布,本平臺僅提供信息存儲服務。
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.