00后，正在改變世界。

25歲的華人姑娘洪樂潼，已經(jīng)走完了很多人一輩子都走不完的路。

這個名字，最近開始頻繁出現(xiàn)在科技圈和投資圈的討論中。不是因為她拿了什么獎，也不是因為進了哪家大廠，而是因為她做了一件更“極端”的事從斯坦福大學(xué)退學(xué)，去創(chuàng)業(yè)。

而且一出手，就是一家估值16億美元的公司。

這家公司叫Axiom Math，剛剛完成了2億美元融資，背后的投資方包括Menlo Ventures、Greycroft和Madrona Venture Group。

團隊只有20多人，但陣容卻異常“豪華”。成員來自Meta的FAIR實驗室、Meta的GenAI團隊，以及原Google Brain（后來并入DeepMind）。這些人，幾乎都是被她一個個拉進來的。

如今已經(jīng)被資本市場押上重注。

但如果你把她的履歷往前翻，會發(fā)現(xiàn)這并不是“運氣”。

這個年輕的姑娘出生在廣州，父母沒有高學(xué)歷背景。中學(xué)階段，她進入華南師范大學(xué)附屬中學(xué)，入選廣東省中學(xué)生英才計劃，隨后赴美進入麻省理工學(xué)院（MIT）。

她在MIT只用了三年，就完成了數(shù)學(xué)和物理雙學(xué)位，還修了20門高等數(shù)學(xué)課程，發(fā)表了9篇論文。

全美詮釋了什么叫真正的學(xué)霸。

畢業(yè)后，她去了牛津大學(xué)讀神經(jīng)科學(xué)碩士，同時在倫敦大學(xué)學(xué)院做AI和機器學(xué)習(xí)研究。

博士期間，她又回到了美國斯坦福，準備同時攻讀數(shù)學(xué)博士和法學(xué)博士。

按照傳統(tǒng)路徑，這幾乎已經(jīng)是“穩(wěn)進頂級學(xué)術(shù)圈”的劇本。

但她沒有走下去。

她選擇了一個更不確定、但也更野心勃勃的方向：創(chuàng)業(yè)。

她給公司的名字叫“Axiom”，意思是“公理”。她想做的事情也很直接：打造“AI數(shù)學(xué)家”。

不是會算題的AI，而是能像數(shù)學(xué)家一樣去證明、去驗證的系統(tǒng)。

現(xiàn)實社會中，數(shù)學(xué)是很多學(xué)科的基礎(chǔ)，但它長期以來并不直接對應(yīng)商業(yè)價值。直到AI出現(xiàn)，這個邏輯開始發(fā)生變化。

現(xiàn)在的AI可以寫代碼、做預(yù)測，但有一個致命問題。你很難確定它是不是完全正確的。

而洪樂潼想做的，是用數(shù)學(xué)的方法，讓AI不僅能“寫”，還能“證明自己寫的是對的”。

如果這件事成功，它的價值將是無價的。它會直接影響金融、量化交易、甚至整個軟件世界的底層安全邏輯。

所以她的第一批客戶，并不是普通用戶，而是對沖基金和量化交易公司，這些最依賴復(fù)雜數(shù)學(xué)模型、也最怕錯誤的行業(yè)。

2024年8月，洪樂潼做了一個大膽的決定剛從斯坦福退學(xué)。

幾乎同時，她拿到了960萬美元種子輪融資。短短時間內(nèi)，公司又完成2億美元A輪，估值沖到16億美元。

她才25歲。

但她做的事情，已經(jīng)不是“年輕創(chuàng)業(yè)者”的故事了。

當(dāng)天匯率