25歲數(shù)學(xué)天才少女拿下超14億融資 AI數(shù)學(xué)家的崛起

小大

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

關(guān)鍵詞：

2026-04-05 22:37:11 21 世紀(jì)商業(yè)評(píng)論

洪樂潼熱衷于用AI來做數(shù)學(xué)。她認(rèn)為數(shù)學(xué)能創(chuàng)造價(jià)值，因?yàn)樗茏晕因?yàn)證、自我檢查。這位25歲的廣州女生畢業(yè)于麻省理工學(xué)院和牛津大學(xué)，從斯坦福輟學(xué)創(chuàng)業(yè)，數(shù)周前剛拿下2億美元融資，估值達(dá)16億美元。

2025年，DeepSeek橫空出世，洪樂潼感慨團(tuán)隊(duì)執(zhí)行力強(qiáng)，親力親為，最珍貴的是那份理想與使命交織的信念。Axiom的創(chuàng)始團(tuán)隊(duì)小而專注，有一半來自Meta AI研究院。

洪樂潼的辦公室位于硅谷的帕洛阿爾托大學(xué)大道，距離斯坦福大學(xué)不遠(yuǎn)。公司取名Axiom（公理），目標(biāo)是創(chuàng)造“AI數(shù)學(xué)家”。就是打造能自動(dòng)驗(yàn)證計(jì)算機(jī)代碼的AI系統(tǒng)，原理類似于數(shù)學(xué)家證明復(fù)雜數(shù)學(xué)難題。這項(xiàng)技術(shù)可以杜絕代碼漏洞，借助Lean編程語(yǔ)言，研發(fā)出能夠從形式上證明答案是否正確的技術(shù)。

憑借這個(gè)想法，2024年8月，洪樂潼拿下了960萬(wàn)美元種子輪投資。在她的設(shè)想中，未來Axiom的產(chǎn)品可服務(wù)于對(duì)沖基金和量化交易公司，快速解決與資產(chǎn)定價(jià)、股市預(yù)測(cè)相關(guān)的復(fù)雜數(shù)學(xué)問題。3月中旬，洪樂潼宣布籌集到2億美元A輪融資。她表示，Axiom雖然小但很強(qiáng)，探索各種更聰明的技術(shù)來降低成本，資本效率很高。

洪樂潼并非一枝獨(dú)秀，有人正在做著類似的研究，而且比她更早入局。其競(jìng)爭(zhēng)對(duì)手Harmonic不僅能攻克數(shù)學(xué)難題，在代碼編寫和芯片設(shè)計(jì)領(lǐng)域也展現(xiàn)出潛力，最新估值達(dá)14.5億美元。洪樂潼并不擔(dān)心，她透露已經(jīng)有不少意向客戶找上門。

洪樂潼的創(chuàng)業(yè)始于一次咖啡館中的閑聊。2024年深秋，她在斯坦福大學(xué)附近的咖啡館遇見了時(shí)任Meta AI研究總監(jiān)的Shubho Sengupta。幾小時(shí)交談后，兩人決定一起用AI解決世界上最棘手的數(shù)學(xué)問題。不久，洪樂潼退學(xué)創(chuàng)業(yè)，Shubho成為Axiom第一位成員，現(xiàn)任CTO。

12 全文共 2 頁(yè)下一頁(yè)

關(guān)閉

25歲數(shù)學(xué)天才少女拿下超14億融資 AI數(shù)學(xué)家的崛起

相關(guān)新聞

今日熱點(diǎn)

頻道熱點(diǎn)