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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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