00后天才學(xué)霸女生獲14億融資 AI新星崛起

小大

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

關(guān)鍵詞：

2026-03-17 18:00:03 新浪財(cái)經(jīng)

00后風(fēng)暴正在席卷AI領(lǐng)域，洪樂(lè)潼是其中的佼佼者。她創(chuàng)立的AI初創(chuàng)公司Axiom完成2億美元A輪融資，由Menlo Ventures領(lǐng)投，Greycroft、Madrona Venture、B Capital、Toyota Ventures等老股東持續(xù)加碼。公司估值高達(dá)16億美元（約合人民幣110億）。

洪樂(lè)潼今年25歲，出生于廣州，曾就讀于華南師大附中，多次在奧數(shù)競(jìng)賽中獲獎(jiǎng)。她的求學(xué)軌跡橫跨麻省理工學(xué)院、牛津大學(xué)，直至在斯坦福大學(xué)攻讀博士學(xué)位期間選擇投身創(chuàng)業(yè)浪潮。投資界與洪樂(lè)潼的交流始于Axiom尚處水下時(shí)期，彼時(shí)創(chuàng)投圈傳出其早期融資的消息。她在朋友圈寫(xiě)下的自勉：“祝自己做花也做樹(shù)。繽紛熱情，孤離兀立?！绷钊擞∠笊羁?。

Axiom的故事起源于一次咖啡館的交流。2024年深秋的一個(gè)周末，23歲的洪樂(lè)潼在斯坦福附近的一家咖啡館見(jiàn)到了時(shí)任Meta AI研究總監(jiān)的Shubho Sengupta。幾小時(shí)的交談后，洪樂(lè)潼決定從斯坦福退學(xué)，著手創(chuàng)立Axiom。不久，她的名字在創(chuàng)投圈迅速流傳。如今，Axiom宣布完成2億美元A輪融資，成立不到一年即躋身獨(dú)角獸行列。

就在短短5個(gè)月前，Axiom剛剛完成種子輪融資。該公司向外界展示了堅(jiān)定信念：數(shù)學(xué)是構(gòu)建AI推理能力的正確基礎(chǔ)。去年12月，Axiom的核心系統(tǒng)在普特南競(jìng)賽中斬獲12題全對(duì)的滿分，這是近百年來(lái)僅有5人達(dá)成的成就。隨后，該系統(tǒng)又自主證明了多個(gè)開(kāi)放性數(shù)論猜想。

解決數(shù)學(xué)問(wèn)題只是Axiom工作的一部分。他們正將這種“絕對(duì)正確”的數(shù)學(xué)推理能力通過(guò)遷移學(xué)習(xí)引入到代碼驗(yàn)證領(lǐng)域，試圖解決生成式AI的問(wèn)題。目前，AI行業(yè)面臨一個(gè)尖銳矛盾：大模型的能力狂飆，但可靠性卻始終是個(gè)黑盒。日常應(yīng)用中的“胡說(shuō)八道”或許無(wú)傷大雅，但在金融、國(guó)防或關(guān)鍵基礎(chǔ)設(shè)施領(lǐng)域，任何基于概率的錯(cuò)誤都可能釀成災(zāi)難。Axiom的答案是可驗(yàn)證人工智能（Verified AI），通過(guò)形式化驗(yàn)證確保結(jié)果的正確性。

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

關(guān)閉

00后天才學(xué)霸女生獲14億融資 AI新星崛起

相關(guān)新聞

今日熱點(diǎn)

頻道熱點(diǎn)