25歲廣州女生，帶出110億獨(dú)角獸

小大

用微信掃描二維碼
分享至好友和朋友圈

關(guān)鍵詞：

2026-04-07 11:57:55 互聯(lián)網(wǎng)

“我熱衷于用AI來做數(shù)學(xué)。”洪樂潼用極快的語速，描述正在做的事情。

“數(shù)學(xué)怎么賺錢？我們從一開始就面臨這個挑戰(zhàn)?，F(xiàn)在，商業(yè)信號已經(jīng)清晰很多，數(shù)學(xué)能創(chuàng)造價(jià)值，是因?yàn)樗茏晕因?yàn)證、自我檢查?！?/p>

這位留著黑色長卷發(fā)的25歲廣州女生，身上疊滿buff。

這位數(shù)學(xué)才俊，畢業(yè)于麻省理工學(xué)院和牛津大學(xué)，從斯坦福輟學(xué)創(chuàng)業(yè)，數(shù)周前剛拿下2億美元融資，估值達(dá)16億美元，約合人民幣110億元。

2025年，DeepSeek橫空出世，洪樂潼感慨，“一群理想主義者組成的優(yōu)秀合作伙伴。他們執(zhí)行力強(qiáng)，親力親為。最珍貴的，是那份理想與使命交織的信念?！?/p>

她說，DeepSeek的故事，也是她“想親自書寫的故事”。Axiom的創(chuàng)始團(tuán)隊(duì)，同樣小而專注，有一半來自Meta AI研究院。

AI時代造神，一切皆有可能。

排查代碼

洪樂潼的辦公室位于硅谷的帕洛阿爾托（Palo Alto）大學(xué)大道，距離斯坦福大學(xué)不遠(yuǎn)。2025年7月中旬，她和團(tuán)隊(duì)才搬進(jìn)這里。

公司取名Axiom（公理），源自數(shù)學(xué)術(shù)語，目標(biāo)是創(chuàng)造“AI數(shù)學(xué)家”。

一群數(shù)學(xué)家在搗鼓的業(yè)務(wù)，看似抽象，簡而言之，就是打造能自動驗(yàn)證計(jì)算機(jī)代碼的AI系統(tǒng)，原理類似于數(shù)學(xué)家證明復(fù)雜數(shù)學(xué)難題。

其價(jià)值在于，用AI寫代碼，無法知道代碼何時存在漏洞。

而Axiom的技術(shù)可以杜絕這類錯誤，借助Lean編程語言，研發(fā)出能夠從形式上證明答案是否正確的技術(shù)。

憑借這個想法，2024年8月，洪樂潼就拿下了960萬美元種子輪投資，約6600萬元人民幣。

在她的設(shè)想中，未來Axiom的產(chǎn)品，可服務(wù)于對沖基金和量化交易公司，可快速解決與資產(chǎn)定價(jià)、股市預(yù)測相關(guān)的復(fù)雜數(shù)學(xué)問題。

投資機(jī)構(gòu)也看到其潛在價(jià)值，是提升AI生成代碼質(zhì)量的有效途徑。

關(guān)閉

今日熱點(diǎn)