00后，正在改變世界。

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

這個(gè)名字，最近開始頻繁出現(xiàn)在科技圈和投資圈的討論中。不是因?yàn)樗昧耸裁椽?jiǎng)，也不是因?yàn)檫M(jìn)了哪家大廠，而是因?yàn)樗隽艘患皹O端”的事從斯坦福大學(xué)退學(xué)，去創(chuàng)業(yè)。

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

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

團(tuán)隊(duì)只有20多人，但陣容卻異常“豪華”。成員來自Meta的FAIR實(shí)驗(yàn)室、Meta的GenAI團(tuán)隊(duì)，以及原Google Brain（后來并入DeepMind）。這些人，幾乎都是被她一個(gè)個(gè)拉進(jìn)來的。

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

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

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

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

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

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

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

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

但她沒有走下去。

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

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

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

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

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

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

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

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

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

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

她才25歲。

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

當(dāng)天匯率