斯坦福華人數學博士AI創業，0產品0用戶，目標估值3億美元。
方向瞄準數學AI，要為量化和對沖基金公司提供可解決實際數學問題的模型能力。
（嗯，打造了DeepSeek的幻方量化，也是用AI來做投資量化）
△來自個人主頁
來自中國廣州的洪樂潼（Carina Letong Hong）近期開啟創業，立馬一鳴驚人。
據The Information消息，她正在籌集目標為5000萬美元的融資，公司估值預計3-5億美元——盡管目前公司還沒有開發出一款產品。
為啥能實現如此估值？
來看創始人兼CEO洪樂潼身上的標簽：
3年時間完成麻省理工數學和物理本科雙修，然后拿下斯坦福數學博士錄取offer研究方向為數論、組合學和概率學，同時也進修了法律學課程。
本科期間的論文已經發表在《美國數學會會報》、《拉馬努金期刊》等刊物。2021年獲得牛津大學羅德獎學金，成為僅有的4名中國獲獎者之一……
如今，她開啟創業，希望利用編程語言來訓練模型，使其能掌握形式化證明的“語言”。
0產品實現3-5億估值
洪樂潼創立的公司名叫Axiom（公理），它的核心目標是開發可以解決實際數學問題的AI。
目前已經透露了一些具體技術方向——
訓練數據來自形式化數學證明 （formal mathematical proofs），通過使用已經被證明的定理或者公認的數學公理，來驗證某個數學陳述的真實性。
換句話說，Axiom的AI將專注于數學領域，通過學習嚴格的邏輯推理和數學證明的過程，能夠像數學家一樣構建和驗證形式化證明，并保證結果的準確性和嚴謹性。
產品將主要賣給對沖基金和量化交易公司，幫他們快速解決投資、股市等金融領域的復雜數學問題。
可以簡單粗暴理解為，通過購買Axiom的能力，對沖基金和量化交易公司可以不用自己費力組建規模十分龐大的技術團隊。
Axiom目前還沒有開發出一款產品。
但這并不影響投資人對它產生濃厚興趣。
據The Information消息，曾投出Perplexity等知名AI公司的B Capital正在就最新一輪目標5000萬美元的融資展開談判，并可能領投本輪。
目前Axiom的估值預計在3-5億美元。
要知道，近期AI領域“0產品0用戶”就實現高額估值的初創公司，都出自Ilya、Mira Murati這種行業大佬之手。
Axiom也能在如此早期就被投資方看好，或許原因類似——創始人本人值得投。
“一路開掛”的廣州學霸
洪樂潼身上最鮮明的標簽還是數學。
她本人透露，父母并沒有受過高等教育，但是她從小就對數學興趣濃厚。
她出生于中國廣州，通過一個免費的奧林匹克數學項目開始接觸競賽，“遇到了超級有趣的問題”。
高中加入CMO省隊，經過層層篩選，成為最后僅剩的4位女生之一。
后來，洪樂潼在羅斯計劃和斯坦福數學營中迷上了勒讓德/雅可比符號和處理理論，并決心攻讀高等數學。
她將目標早早地鎖定在麻省理工學院的數學和物理專業，只用3年時間就完成了兩個學位的課程，同時還廣泛學習了碩博數學課程。
3年時間，她還發表了9篇論文，涉及領域非常廣泛，包括模橢圓曲線與K3曲面的L函數、月光猜想、theta與劃分函數同余方程、堆棧排序算法，和二部圖邊染色的馬爾可夫鏈。
要知道，通常來說本科生是很難做出純數研究的。
值得一提的是，這些論文不少是和張盛桐（本科期間就登上數學四大頂刊）合作完成。
同時，她也拿獎到手軟：先后獲得Schaefer數學獎全美女生第一，Frank和Brennie Morgan本科生杰出數學研究獎，并被提名為2022年度中國羅德學者。
羅德獎學金由牛津大學頒發，獲獎學者將赴牛津大學攻讀研究生課程。洪樂潼也是憑借此機會學習了神經科學的相關課程。
她表示，科學領域是一個相當廣闊的世界，她希望理解數學的同時理解生物醫學。
△來自MIT News
博士申請上，據說她也是橫掃普林斯頓、斯坦福、哈佛、麻省理工……最終選擇了斯坦福大學，在主修數學的同時還輔修了法律學，可以說是興趣相當廣泛。
在斯坦福期間，她發表了關于彈出堆棧排序算法等主題的研究成果，并且持續探索數論方面的工作。
并且涉獵了數學與深度學習相結合的跨學科研究，在Sainsbury Wellcome中心的蓋茨比部門進行過人工智能和機器學習研究，當時還滿懷憧憬地說道：
人工智能與科學家互動的未來會是怎樣？應用科學家如何與之互動？這都是我接下來希望研究的課題。
值得一提的是，洪樂潼在一些報道中透露，她本來以為自己可能從事量化、金融相關領域的工作，但在MIT時，她逐漸發現數學研究真的很有意思。
如今來看，她現在選擇創業也是一種call back了。
參考鏈接：
[1]https://www.theinformation.com/articles/stanford-math-phds-ai-startup-targets-300-million-valuation
[2]https://www.mit.edu/~clhong/
[3]https://x.com/CarinaLHong
[4]https://www.forbes.com/sites/johnwerner/2025/04/24/a-discovery-every-day-what-does-superintelligence-actually-look-like/
[5]https://alum.mit.edu/slice/first-generation-grad-excels-math-and-law
[6]https://news.mit.edu/2021/carina-letong-hong-2022-rhodes-1117
[7]https://www.ams.org/news?news_id=7108
鄭重聲明：本文版權歸原作者所有，轉載文章僅為傳播更多信息之目的，如作者信息標記有誤，請第一時間聯系我們修改或刪除，多謝。
