當(dāng)世界某些角落的校園在炮火中化為廢墟，教育的光輝被戰(zhàn)爭(zhēng)的陰霾所遮蔽時(shí)，在地球的另一端，一位25歲的廣州少女卻用知識(shí)的力量點(diǎn)亮了人類文明的另一盞明燈。

2026年3月中旬，洪樂(lè)潼創(chuàng)立的AI初創(chuàng)公司Axiom宣布完成2億美元A輪融資，公司估值高達(dá)16億美元，約合人民幣110億元，這位畢業(yè)于麻省理工學(xué)院和牛津大學(xué)的數(shù)學(xué)天才少女，從斯坦福輟學(xué)創(chuàng)業(yè)僅一年多時(shí)間，便帶領(lǐng)公司躋身全球獨(dú)角獸行列。

這一事件不僅是中國(guó)青年創(chuàng)業(yè)者的輝煌成就，更是“知識(shí)就是財(cái)富，知識(shí)就是力量”這一古老真理在人工智能時(shí)代的最新注腳。

洪樂(lè)潼的創(chuàng)業(yè)故事始于2024年深秋。當(dāng)時(shí)正在斯坦福大學(xué)攻讀數(shù)學(xué)與法學(xué)雙博士學(xué)位的她，在一次與Meta AI研究員Shubho Sengupta的咖啡館暢談后，毅然決定從這所世界頂尖學(xué)府退學(xué)，全身心投入創(chuàng)業(yè)浪潮。

她的公司取名Axiom（公理），源自數(shù)學(xué)術(shù)語(yǔ)，目標(biāo)是創(chuàng)造“AI數(shù)學(xué)家”。這家公司的核心業(yè)務(wù)看似抽象卻意義深遠(yuǎn)：打造能自動(dòng)驗(yàn)證計(jì)算機(jī)代碼的AI系統(tǒng)，其原理類似于數(shù)學(xué)家證明復(fù)雜數(shù)學(xué)難題。洪樂(lè)潼敏銳地洞察到當(dāng)前AI行業(yè)的一個(gè)尖銳矛盾：大模型能力狂飆，但可靠性卻始終是個(gè)黑盒。用AI寫代碼，無(wú)法知道代碼何時(shí)存在漏洞。

而Axiom的技術(shù)可以杜絕這類錯(cuò)誤，借助Lean編程語(yǔ)言，研發(fā)出能夠從形式上證明答案是否正確的技術(shù)。正是憑借這個(gè)顛覆性的想法，2024年8月，洪樂(lè)潼就拿下了960萬(wàn)美元種子輪投資，約6600萬(wàn)元人民幣。隨后在2025年11月，公司又完成了6400萬(wàn)美元融資。

直到2026年3月，Axiom宣布完成由Menlo Ventures領(lǐng)投的2億美元A輪融資，公司估值突破16億美元。目前，Axiom擁有20多名員工，洪樂(lè)潼正忙著招兵買馬，在海外社交平臺(tái)上頻繁發(fā)布招聘信息，尋找有志于“用AI做數(shù)學(xué)”的同路人。

回溯洪樂(lè)潼的教育經(jīng)歷，是一條典型的天才成長(zhǎng)軌跡。2001年出生于廣州的她，父母都是普通務(wù)工者，從未上過(guò)大學(xué)。但洪樂(lè)潼的數(shù)學(xué)天賦很早就顯露出來(lái)，中學(xué)就讀于廣東名校華南師范附中，高中時(shí)期成為數(shù)學(xué)奧林匹克省隊(duì)僅有的四名女生之一，多次在華羅庚金杯、全國(guó)高中數(shù)學(xué)聯(lián)賽等競(jìng)賽中取得佳績(jī)。

2018年，她以USAMO（美國(guó)數(shù)學(xué)奧林匹克）國(guó)際營(yíng)唯一非美籍滿分選手的身份被麻省理工學(xué)院數(shù)學(xué)系提前錄取。2019年進(jìn)入麻省理工學(xué)院后，洪樂(lè)潼攻讀數(shù)學(xué)和物理雙學(xué)位，本科階段就修讀了20多門研究生課程，發(fā)表9篇高質(zhì)量學(xué)術(shù)論文，涉及模橢圓曲線與K3曲面的L函數(shù)、月光猜想、彈出棧排序算法研究等領(lǐng)域。

她曾擔(dān)任麻省理工學(xué)院數(shù)學(xué)協(xié)會(huì)主席，并榮獲表彰北美地區(qū)數(shù)學(xué)專業(yè)本科生杰出研究的AMS-MAA-SIAM摩根獎(jiǎng)。2022年，洪樂(lè)潼憑借羅德獎(jiǎng)學(xué)金前往牛津大學(xué)攻讀神經(jīng)科學(xué)碩士，成為當(dāng)年中國(guó)大陸選拔的四名羅德獎(jiǎng)學(xué)金獲得者之一。

在牛津期間，她還在倫敦大學(xué)學(xué)院進(jìn)行人工智能和機(jī)器學(xué)習(xí)研究，當(dāng)時(shí)她曾表示：“人工智能與科學(xué)家未來(lái)的互動(dòng)會(huì)怎樣？是我接下來(lái)希望研究的課題。”2024年，洪樂(lè)潼進(jìn)入斯坦福大學(xué)攻讀數(shù)學(xué)與法學(xué)雙博士，但僅幾個(gè)月后便選擇退學(xué)創(chuàng)業(yè)。這條橫跨麻省理工、牛津、斯坦福三所世界頂尖學(xué)府的求學(xué)之路，不僅鍛造了她扎實(shí)的學(xué)術(shù)功底，更培養(yǎng)了她跨學(xué)科的思維方式和解決復(fù)雜問(wèn)題的能力。

“知識(shí)就是財(cái)富，知識(shí)就是力量”在洪樂(lè)潼身上得到了完美詮釋。她將深?yuàn)W的數(shù)學(xué)知識(shí)轉(zhuǎn)化為具有巨大商業(yè)價(jià)值的技術(shù)解決方案。洪樂(lè)潼曾坦言：“數(shù)學(xué)怎么賺錢？我們從一開(kāi)始就面臨這個(gè)挑戰(zhàn)。

現(xiàn)在，商業(yè)信號(hào)已經(jīng)清晰很多，數(shù)學(xué)能創(chuàng)造價(jià)值，是因?yàn)樗茏晕因?yàn)證、自我檢查。”Axiom的核心技術(shù)正是建立在嚴(yán)格的數(shù)學(xué)邏輯之上。公司通過(guò)訓(xùn)練人工智能系統(tǒng)生成用Lean語(yǔ)言編寫的、經(jīng)過(guò)形式化驗(yàn)證的輸出，Lean是一種專為數(shù)學(xué)證明設(shè)計(jì)的編程語(yǔ)言。

通過(guò)使用Lean，Axiom可以確保人工智能模型推理過(guò)程的每一步都是“可機(jī)器檢查的”并且在邏輯上得到保證。這種技術(shù)不僅能夠解決數(shù)學(xué)難題——2025年12月，AxiomProver系統(tǒng)分別用1天和5小時(shí)，在無(wú)人為干預(yù)的情況下完成了埃爾德什問(wèn)題集中第124題和第481題的證明；更重要的是，它能將這種“絕對(duì)正確”的數(shù)學(xué)推理能力，通過(guò)遷移學(xué)習(xí)引入到代碼驗(yàn)證領(lǐng)域，解決生成式AI的可靠性問(wèn)題。

在洪樂(lè)潼的設(shè)想中，未來(lái)Axiom的產(chǎn)品可服務(wù)于對(duì)沖基金和量化交易公司，快速解決與資產(chǎn)定價(jià)、股市預(yù)測(cè)相關(guān)的復(fù)雜數(shù)學(xué)問(wèn)題。這種將抽象數(shù)學(xué)理論與實(shí)際商業(yè)應(yīng)用緊密結(jié)合的能力，正是知識(shí)轉(zhuǎn)化為財(cái)富的關(guān)鍵所在。

洪樂(lè)潼的成功是多重因素共同作用的結(jié)果。首先是卓越的天賦與扎實(shí)的教育基礎(chǔ)。她的數(shù)學(xué)天賦在早期就已顯現(xiàn)，而麻省理工、牛津、斯坦福的教育經(jīng)歷為她提供了世界一流的學(xué)術(shù)訓(xùn)練和科研環(huán)境。

其次是精準(zhǔn)的時(shí)機(jī)把握。洪樂(lè)潼創(chuàng)業(yè)之時(shí)，正值人工智能浪潮席卷全球，大模型在代碼生成方面取得突破但面臨可靠性瓶頸的關(guān)口。她敏銳地抓住了“可驗(yàn)證人工智能”這一細(xì)分領(lǐng)域，解決了行業(yè)痛點(diǎn)。

第三是強(qiáng)大的團(tuán)隊(duì)支撐。Axiom的創(chuàng)始團(tuán)隊(duì)小而專注，有一半來(lái)自Meta AI研究院。團(tuán)隊(duì)還包括弗朗索瓦·沙爾東，他因率先應(yīng)用Transformer模型解決了一個(gè)困擾專家130多年的數(shù)學(xué)難題而聞名。甚至連著名數(shù)學(xué)家小野健也辭去弗吉尼亞大學(xué)終身教職加入Axiom。

第四是清晰的愿景與執(zhí)行力。洪樂(lè)潼為公司設(shè)定了“從AI數(shù)學(xué)家起步，打造自我改進(jìn)的超級(jí)智能推理器”的使命。她表示：“我們創(chuàng)建Axiom，是為了將好奇的火花轉(zhuǎn)化為已知的真理，并壓縮取得突破的時(shí)間線。”這種將宏大愿景與具體技術(shù)路徑相結(jié)合的能力，使得Axiom在短時(shí)間內(nèi)取得顯著進(jìn)展。

第五是資本的有力支持。從960萬(wàn)美元種子輪到2億美元A輪融資，Menlo Ventures、Greycroft、Madrona Venture、B Capital、Toyota Ventures等知名風(fēng)投的持續(xù)加碼，不僅提供了資金保障，更帶來(lái)了行業(yè)資源和戰(zhàn)略指導(dǎo)。

洪樂(lè)潼的故事給予我們多方面的深刻啟示。在教育層面，它證明了跨學(xué)科學(xué)習(xí)的重要性。洪樂(lè)潼在數(shù)學(xué)、物理、神經(jīng)科學(xué)、人工智能等多個(gè)領(lǐng)域的知識(shí)積累，使她能夠以獨(dú)特的視角發(fā)現(xiàn)并解決復(fù)雜問(wèn)題。

這提示我們的教育體系應(yīng)當(dāng)更加注重培養(yǎng)學(xué)生的跨學(xué)科思維和綜合能力。在創(chuàng)新層面，洪樂(lè)潼的成功表明，基礎(chǔ)科學(xué)研究與前沿技術(shù)應(yīng)用可以形成良性循環(huán)。Axiom的技術(shù)根植于深厚的數(shù)學(xué)理論基礎(chǔ)，卻又直面AI行業(yè)最緊迫的實(shí)際問(wèn)題。這種“從0到1”的原始創(chuàng)新，往往比單純的技術(shù)迭代具有更大的突破性和更持久的競(jìng)爭(zhēng)力。

在創(chuàng)業(yè)層面，洪樂(lè)潼的經(jīng)歷展現(xiàn)了年輕創(chuàng)業(yè)者的獨(dú)特優(yōu)勢(shì)。25歲的她敢于從斯坦福退學(xué)，在競(jìng)爭(zhēng)激烈的人工智能領(lǐng)域開(kāi)辟新賽道，這種勇氣和決斷力值得贊賞。同時(shí)，她也證明了創(chuàng)業(yè)者不僅需要技術(shù)專長(zhǎng)，還需要對(duì)市場(chǎng)需求、資本運(yùn)作、團(tuán)隊(duì)建設(shè)等多方面有深刻理解。

在社會(huì)層面，洪樂(lè)潼的故事是“知識(shí)改變命運(yùn)”的生動(dòng)體現(xiàn)。出身普通務(wù)工家庭的她，憑借卓越的學(xué)術(shù)成就獲得世界頂尖學(xué)府的青睞，又通過(guò)創(chuàng)業(yè)將知識(shí)轉(zhuǎn)化為巨大的社會(huì)價(jià)值和經(jīng)濟(jì)價(jià)值。這為無(wú)數(shù)寒門學(xué)子樹(shù)立了榜樣，證明了在當(dāng)今時(shí)代，教育仍然是實(shí)現(xiàn)社會(huì)流動(dòng)和個(gè)人價(jià)值的最重要途徑。

在全球競(jìng)爭(zhēng)層面，洪樂(lè)潼和Axiom的出現(xiàn)，標(biāo)志著中國(guó)年輕一代在全球科技創(chuàng)新舞臺(tái)上正扮演著越來(lái)越重要的角色。在人工智能這一決定未來(lái)競(jìng)爭(zhēng)力的關(guān)鍵領(lǐng)域，中國(guó)青年創(chuàng)業(yè)者已經(jīng)具備了與世界頂尖團(tuán)隊(duì)同臺(tái)競(jìng)技的實(shí)力和視野。

當(dāng)洪樂(lè)潼在硅谷的辦公室里暢談“用AI做數(shù)學(xué)”的夢(mèng)想時(shí)，她不僅是在打造一家估值百億的科技公司，更是在探索人類智能與機(jī)器智能融合的新邊界。

她曾充滿激情地描述：“Verified AI關(guān)注的，絕不僅僅是修補(bǔ)AI的缺點(diǎn)。真正瞄準(zhǔn)的，是AI的上限，是通向超級(jí)智能的階梯。”這種將技術(shù)追求與人類文明進(jìn)步相連接的宏大視野，正是這個(gè)時(shí)代最寶貴的創(chuàng)新精神。

從廣州到麻省理工，從牛津到斯坦福，從數(shù)學(xué)證明到代碼驗(yàn)證，洪樂(lè)潼的旅程詮釋了知識(shí)如何跨越國(guó)界、學(xué)科和傳統(tǒng)邊界，創(chuàng)造出改變世界的力量。在這個(gè)某些地方的教育設(shè)施仍在遭受戰(zhàn)火摧殘的世界里，洪樂(lè)潼和無(wú)數(shù)像她一樣的年輕創(chuàng)新者，正用知識(shí)和智慧建設(shè)著人類共同的未來(lái)。

他們的故事告訴我們：無(wú)論時(shí)代如何變遷，知識(shí)永遠(yuǎn)是最寶貴的財(cái)富，教育永遠(yuǎn)是最強(qiáng)大的力量，而將這兩者結(jié)合起來(lái)的創(chuàng)新精神，則是推動(dòng)人類文明不斷向前的最持久動(dòng)力。