國慶假期，創(chuàng)投圈被一則融資消息徹底點燃：由潮汕00后天才少女洪樂潼創(chuàng)辦的Axiom Math正式完成首輪約4.6億人民幣融資，公司投后估值達20億人民幣。

這位年僅24歲，頭頂“麻省理工本科+牛津碩士+斯坦福博士”光環(huán)的年輕創(chuàng)業(yè)者，用不到1年的時間，再次書寫AI時代的造富神話。

成立不到一年，10個人

拿下4.6億融資，估值20億

據(jù)投資界報道，近日，由00后華裔斯坦福博士洪樂潼創(chuàng)辦的Axiom Math正式完成首輪6400萬美元（約合人民幣4.6億元）融資，Greycroft、Madrona和Menlo Ventures等機構參與，投后估值3億美元（約合人民幣20億元）。

作為此次領投方，B Capital合伙人在官網(wǎng)中將洪樂潼稱作一個“推動數(shù)學超級智能的人”，并稱贊她“以驚人的速度組建了一支人才密度極高的創(chuàng)始團隊”。

據(jù)了解，Axiom成立于2025年3月，是一家定位于“數(shù)學AI”的創(chuàng)業(yè)公司，核心目標是打造能解決實際數(shù)學問題的人工智能系統(tǒng)。

這家嶄露頭角的AI公司旨在為對沖基金、量化交易機構等客戶提供復雜數(shù)學問題的快速解決方案。具體來看就是，Axiom的AI系統(tǒng)通過學習嚴格的邏輯推理和數(shù)學證明的過程，能夠像數(shù)學家一樣構建和驗證形式化證明，并保證結果的準確性和嚴謹性。借助Axiom，金融機構可無需耗費大量人力搭建龐大技術團隊，直接利用AI解決投資和股市中的復雜數(shù)學難題。這種“數(shù)學即服務”的模式，契合了當前金融市場對高效智能化技術的強烈需求。這種創(chuàng)新的技術理念使得Axiom在眾多AI初創(chuàng)公司中脫穎而出。

值得注意的是，Axiom這家新興的AI公司只有10名全職人員，但這個小而精的團隊成員個個都是行業(yè)頂尖：例如擔任CTO的Shubho Sengupta曾是Meta FAIR 團隊負責人，曾開發(fā)OpenGo和CrypTen；數(shù)學研究員Fran?ois Charton則在Meta負責過大語言模型在數(shù)學和理論物理學的研究，他在2019年就開始探索Transformer在數(shù)學證明中的應用；資深科學家Hugh Leather也是Meta前人工智能研究科學家，曾開發(fā)過編譯器與 GPU 代碼生成的大語言模型。

Axiom核心員工中大多數(shù)來自Meta

早在今年6月，Axiom便被爆出正在正在與投資者洽談5000萬美元（約合人民幣3.6億元）融資事宜，目標估值達3億至5億美元（約合人民幣21億-35億元），盡管當時這家初創(chuàng)公司尚未推出任何產(chǎn)品，0產(chǎn)品，0用戶。彼時，消息一出，立刻在硅谷和國內創(chuàng)投圈刷屏，也讓作為Axiom創(chuàng)始人的洪樂潼在一夜間迅速爆火。

如今，隨著首輪融資正式出爐，也意味Axiom這家成立不足1年的公司正式躋身“資本競速”賽道。

00后潮汕天才少女

從斯坦福退學創(chuàng)立Axiom Math

Axiom由00后洪樂潼（Carina Hong）締造。

據(jù)報道，洪樂潼出生于中國廣州，中學就讀于廣州名校華南師范附中，父母是土生土長的潮汕人。

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

盡管父母未接受高等教育，但洪樂潼自幼卻展現(xiàn)超凡的出數(shù)學天賦。她是廣東奧數(shù)省隊僅有的四名女生之一，還多次在“華羅庚金杯”、全國高中數(shù)學聯(lián)賽中獲獎。

高中畢業(yè)后，洪樂潼考入麻省理工學院，僅用三年時間便完成了數(shù)學與物理雙學位，期間發(fā)表9篇學術論文，涵蓋數(shù)論、組合學、代數(shù)幾何等純數(shù)學前沿領域，這在本科生中極為罕見。

同時，她也拿獎到手軟：先是獲得Schafer數(shù)學卓越獎，該獎每年僅頒發(fā)給一名本科女生；后又獲得北美數(shù)學本科生的最高榮譽——摩根獎，她是第五位獲此殊榮的女生。2021年底，洪樂潼獲得了極具競爭力的羅德獎學金，該獎學金由牛津大學頒發(fā)，是世界上歷史最悠久、最負盛名的國際獎學金項目之一，有“本科諾貝爾獎”的美譽，獲獎學者將赴牛津大學攻讀研究生課程。洪樂潼成為僅有的四名中國獲獎者之一。

2022年，洪樂潼前往英國牛津大學學習神經(jīng)科學，獲得碩士學位。期間還在倫敦大學學院進行人工智能和機器學習研究。到了2024年8月，洪樂潼又進入斯坦福大學同時攻讀數(shù)學博士和法學學位，很快，還在博士就讀的她闖入了AI界。

頗為戲劇性的是，Axiom的誕生來自于一次咖啡館的交流。

2024年秋，仍在斯坦福大學攻讀博士的洪樂潼在學校附近的Verve Coffee Roasters咖啡館，偶然遇到了前Meta的AI研究員Shubho Sengupta，當時Sengupta正在研究能編寫軟件測試的大語言模型。

圖源：MIT News

當時，洪樂潼和Shubho Sengupta暢談了幾個小時，兩人討論了各自研究領域的交叉點。在關于能否用AI解決復雜數(shù)學問題這一話題上，他們一拍即合，隨即決定共同創(chuàng)業(yè)。

這次交流后不久，洪樂潼便從斯坦福退學，著手創(chuàng)辦Axiom，立志打造一款“AI數(shù)學家”。

2025 年 3 月，Axiom Math在舊金山正式成立。

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

在洪樂潼看來，數(shù)學是打造超級智能的完美試驗場。Axiom的理念是將教科書、論文和期刊里的英文數(shù)學內容轉化為程序化知識，這樣AI不僅可以解決復雜的數(shù)學問題，還能通過嚴格驗證來檢驗解答。

未來，洪樂潼希望“AI數(shù)學家”甚至能夠提出全新的數(shù)學猜想。

文中所用圖片來源網(wǎng)絡

【編者聲明】

本公眾號部分素材來自網(wǎng)絡，版權歸原作者所有。編者收集整理，旨在與大家分享學習。如您認為某些內容侵犯您的權益，請及時告知，我們核實后將采取相應措施。