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é)果的正確性。
00后風(fēng)暴正在席卷AI領(lǐng)域,洪樂(lè)潼是其中的佼佼者
2026-03-17 17:13:2600后學(xué)霸女生獲14億融資