流星或太陽！廣州女孩要賣「數學大腦」給華爾街｜熱財經

一個來自廣州的「00後」女博士在矽谷創業，沒產品、沒用戶，還在招募團隊人員中，「三無」公司被估值達3億-5億美元？

這聽起來「過於完美」甚至有點天方夜譚的創業故事卻正在發生。

據美國當地科技媒體6月3日報道，來自中國的「00後」斯坦福大學數學女博士洪樂潼在近日成立了自己的ai初創公司公理量化（axiom quant），目標融資金額為5000萬美元，公司估值預計達到3億-5億美元，知名創投公司波士頓投資可能領投。

有意思的是，3天後，洪樂潼在知乎上稱媒體報道「泄露了我們（並不準確）的融資信息」，並否認相關報道。但她在其他的個人社交賬號上卻未有發布相關言論。與此同時，公理量化開啟積極招攬國內外人才，組建團隊，為後續研發做準備。

這不僅讓外界和投資圈聯想起了一個今年年初「橫空出世」的廣東85後：幻方量化、deepseek創始人梁文鋒。

同為廣東青年、同在ai創業賽道，同是「天才級」學霸的洪樂潼會創造下一個deepseek嗎？在ai+數學創業領域，公理量化能否成為一匹「黑馬」？

「數學真美」！她來自廣州

3年修完麻省理工數學與物理雙學位，至少發表9篇純數學前沿論文；24歲成為牛津大學羅德學者，一年攻讀完神經科學碩士，其間聚焦「人工智慧與科學家互動」課題；在斯坦福大學開啟數學和法學雙博士，為低收入工人提供法律援助，並利用經濟分析推動執法改革。

這不是「自嗨」爽文或小視頻，而是來自斯坦福大學校友會的獲獎學生介紹。

這也是25歲的廣州女生洪樂潼近年來「本碩博」求學經歷的一個縮影。

即便是作為學霸，畢業於廣州的華南師範大學附屬中學的洪樂潼，學術經歷也屬於旁人難以複製的「開掛」級。

公開資料顯示，祖籍潮汕的洪樂潼出生在廣州，父母是從未上過大學的普通務工者。

有著超強數學天賦的她，早在高一就入選了廣東省中學生英才計劃，師從中山大學教授王學欽。此後，她在全國中學生數學奧林匹克（cmo）廣東選拔中脫穎而出，成為僅剩的四位女生之一。

「過程艱苦卻充滿樂趣。猶記第一次對著做不完的sets快急哭了，猶記第一次為了證一種推廣而熬通宵，猶記第一次因發現一種妙解而歡蹦亂跳——我們竟在難題堆里循環往複地經歷著王國維在《人間詩話》中提及的三種境界：苦苦求索、忘我拼搏，再到恍然大悟。而後，從心底說一聲：『數學真美』。」

高中時，洪樂潼參加數學比賽後，如此寫下個人感受。

「天才學霸」！還是法學博士

隨後，她開始將視野投向更高層次的數學研究。

2018年，年僅17歲的洪樂潼如願被麻省理工學院（mit）錄取，選擇了數學與物理雙專業。

她在麻省理工學院只用3年時間就修完了兩個學位，並躋身國際一流期刊，發表了涉及模橢圓曲線與k3曲面上的l函數、「月光猜想」的9篇學術論文。研究方向涵蓋數論、組合學等基礎數學領域，為其當前ai創業埋下伏筆。

麻省理工導師評價：「當多數人還在關注應用層時，她已瞄準數學證明自動化這一基礎難題。」

更引人注目的是，她在mit期間曾獲得全美女性數學家最高榮譽——alice t. schafer數學獎，並在2021年成為中國僅有的四位羅德學者之一，前往牛津大學繼續攻讀神經科學課程。

「數學雖是一門純粹學科，但我也渴望理解生物醫學，所以去牛津學神經科學，正是為了拓寬研究視野。」洪樂潼說。

在此期間，她曾在倫敦大學學院蓋茨比計算單位作為第一作者開展深度學習研究項目，由此正式踏入ai領域。

在讀完了數學、物理、神經科學後，洪樂潼又對人文學科產生強烈好奇，在斯坦福大學開啟數學與法律雙學科博士項目的研究。

「人工智慧與數學家的互動未來會走向何方？應用科學家又將如何與人工智慧數學家協作？這些都是我希望在後續研究中著力探索的難題。」她這樣寫道。

矽谷創業！「數學+ai」專註量化金融

「一個小而專註、特立獨行的團隊。一群理想主義者組成的優秀合作夥伴……這就是deepseek的故事，也是我想書寫的故事。」今年年初，洪樂潼在社交平台上的感慨，揭開了這位年輕創業者的心跡。

與梁文鋒相似，她選擇以數學為切口切入ai基礎層，試圖在矽谷巨頭林立的領域找到屬於自己的一道光。

例如，針對chatgpt o3「數學測試作弊」爭議，此前作為斯坦福大學數學博士的洪樂潼就率先指出癥結——當前ai缺乏嚴格的邏輯推理訓練體系。

openai的大模型之所以在數學測試中表現良好，可能是因為該公司在訓練模型時已接觸過這些題目。

她舉例稱，美國數學邀請賽考試中，部分大語言模型可以達到96%的準確率，但當要求展示證明過程時，分數驟降至5%。

而她創立公理量化則採用「數學即服務」模式，通過學習嚴格邏輯推理過程，使ai像數學家一樣構建和驗證證明。

資料顯示，作為初創公司的公理量化將鎖定對沖基金、量化交易員等高端客戶，宣稱要用ai解決複雜數學證明的難題，為金融公司提供高效的量化解決方案。

值得關注的是，與國內ai賽道創業者不同，洪樂潼選擇從數學基礎層切入，試圖突破大模型「黑箱」瓶頸，其技術路徑與deepseek「小而專註」的團隊理念高度契合。

這也不難解釋，為何一家「無產品、無用戶、無團隊」的ai初創公司能獲得投資圈高關注。

一方面是洪樂潼的個人教育經歷使她在投資人眼中極具吸引力，另外「數學+ai」在金融等高端應用場景中的長遠潛力，有望解決對沖基金等機構的需要高效、高可信度的量化模型的痛點。

流星或太陽！「00後」登上ai主場

當一波人還在討論「ai會不會取代人類」時，00後創業者已開始定義下一代技術範式。

同為「00後」的楊豐瑜在耶魯博士畢業後選擇回國創業，在去年成立了具身智能公司優理奇，完成數億元的天使輪及天使+輪融資。四個月前，由三位「00後」創立的ai招聘網站mercor也宣布完成1億美元的b輪融資，公司估值達20億美元。

不過在「數學ai+量化金融」的前沿賽道，也面臨諸多挑戰。公理量化能否在走出一條差異化路線？仍是未知數。

不過從廣州到矽谷，洪樂潼的經歷不僅是個人傳奇，更折射出一個時代的來臨——當ai浪潮撞上中國新生代學霸，更多「deepseek」正在生長。

「你不會被留白的，你會被堆砌上更多的故事，更成熟的想法，更動情的淚滴，更理性的邏輯。」

2015年6月的盛夏，還在廣州讀高中的洪樂潼這樣寫給10年後的自己。

「在沒有人傾聽的時刻里，願你成為自己的流星；在沒有人閃光的日子裡，願你成為自己的太陽。」

文｜記者 王丹陽