當(dāng)AI的“幻覺”與“黑盒”成為行業(yè)頑疾，一位來自中國(guó)廣州的00后女孩，帶著顛覆式的答案闖入了硅谷中心。2026年3月，AI初創(chuàng)公司Axiom完成2億美元A輪融資，估值飆升至16億美元（約合人民幣110億元），成立僅一年便躋身獨(dú)角獸行列。而這家公司的掌舵人，正是25歲的天才少女洪樂潼。她出身普通務(wù)工家庭，卻一路開掛闖入MIT、牛津、斯坦福；她中途退學(xué)創(chuàng)業(yè)，竟讓世界頂尖的終身教授放棄一切追隨。她的故事，不僅是個(gè)人天才的傳奇，更標(biāo)志著AI創(chuàng)業(yè)已進(jìn)入由00后理想主義者主導(dǎo)的新紀(jì)元。

01務(wù)工家庭走出的天才：從廣州草稿紙到MIT殿堂

洪樂潼的傳奇，始于廣州一個(gè)平凡的潮汕務(wù)工家庭。父母沒有高等學(xué)歷，終日為生活奔波，卻給了她最珍貴的禮物——自由探索的空間。這份普通，并未掩蓋她身上罕見的數(shù)學(xué)天賦。

初中時(shí)，當(dāng)同齡人還在為代數(shù)煩惱，她已沉浸在數(shù)論與公式的世界里。14歲那年，她在草稿紙邊緣鄭重寫下“MIT”三個(gè)字母，將其作為自己的人生燈塔。高中就讀于華南師大附中，她更是鋒芒畢露：高一入選廣東省英才計(jì)劃，師從中山大學(xué)教授；在全國(guó)中學(xué)生數(shù)學(xué)奧林匹克（CMO）廣東選拔中，成為省隊(duì)里僅有的四位女生之一，在男性主導(dǎo)的奧數(shù)領(lǐng)域劃出一道亮色。

2018年，17歲的洪樂潼如愿叩開麻省理工學(xué)院（MIT）的大門，主修數(shù)學(xué)與物理。在這個(gè)天才云集的圣殿，她的“開掛”人生才剛剛開始。別人需要四年完成的學(xué)業(yè)，她僅用三年就修完雙學(xué)位，還額外啃下20門碩博課程。本科期間，她發(fā)表了9篇高質(zhì)量學(xué)術(shù)論文，研究觸及模橢圓曲線、K3曲面、“月光猜想”等最前沿的純數(shù)學(xué)領(lǐng)域。

榮譽(yù)也接踵而至：她斬獲全美女性數(shù)學(xué)家最高榮譽(yù)——Alice T. Schafer數(shù)學(xué)獎(jiǎng)，以及北美本科生數(shù)學(xué)最高獎(jiǎng)——AMS-MAA-SIAM摩根獎(jiǎng)。2021年，她成為當(dāng)年全球僅四位、中國(guó)唯一的羅德獎(jiǎng)學(xué)金得主，赴牛津大學(xué)攻讀神經(jīng)科學(xué)碩士。隨后，她又進(jìn)入斯坦福大學(xué)，同時(shí)攻讀數(shù)學(xué)與法律雙博士。

從廣州的普通家庭，到世界三大頂尖學(xué)府，洪樂潼用天賦與努力，完成了常人難以企及的階層與認(rèn)知跨越。

02退學(xué)創(chuàng)業(yè)：直擊AI“黑盒”痛點(diǎn)，創(chuàng)造“可驗(yàn)證”的真理

就在學(xué)術(shù)道路一片坦途時(shí)，洪樂潼卻做出了驚人決定：從斯坦福退學(xué)，全職創(chuàng)業(yè)。她看到了當(dāng)時(shí)AI行業(yè)最尖銳、也最致命的矛盾——大模型越強(qiáng)，越不可信。

彼時(shí)，以GPT-4為代表的大模型在語言能力上突飛猛進(jìn)，但本質(zhì)上仍是基于統(tǒng)計(jì)概率的“鸚鵡學(xué)舌”。它們能給出看似正確的答案，卻無法保證每一步推理的嚴(yán)謹(jǐn)性，“幻覺”（胡說八道）頻發(fā)。在日常聊天中無傷大雅，但在金融風(fēng)控、量化交易、國(guó)防安全等“零錯(cuò)誤容忍”的領(lǐng)域，這種不確定性就是災(zāi)難。

作為數(shù)學(xué)博士，洪樂潼一針見血地指出：當(dāng)前AI缺乏嚴(yán)格的邏輯推理訓(xùn)練體系。她的解決方案是：讓AI像數(shù)學(xué)家一樣工作，每一步推理都像數(shù)學(xué)證明一樣嚴(yán)密、可驗(yàn)證、無懈可擊。

2025年，她創(chuàng)立Axiom公司（意為“公理”），提出“數(shù)學(xué)即服務(wù)”（Math as a Service）模式。其核心產(chǎn)品AxiomProver系統(tǒng)，通過訓(xùn)練AI掌握專為數(shù)學(xué)證明設(shè)計(jì)的Lean語言，確保AI輸出的不僅是答案，更是一套完整、可被機(jī)器檢查的邏輯證明鏈條。

• 傳統(tǒng)AI：答案≈“我覺得是對(duì)的”（概率）
• Axiom AI：答案=“已被證明是對(duì)的”（真理）

這一理念迅速震撼了學(xué)界與資本。成立僅4個(gè)月，Axiom便獲6400萬美元種子輪融資；2025年12月，其AI系統(tǒng)在難度極高的普特南數(shù)學(xué)競(jìng)賽中滿分奪冠，并在無人干預(yù)下，僅用1天和5小時(shí)就證明了兩道困擾數(shù)學(xué)界20年的埃爾德什數(shù)論難題。技術(shù)實(shí)力的硬核證明，讓其在2026年3月的A輪融資中估值暴漲至110億人民幣，成為全球最受矚目的AI新星。

03群星追隨：終身教授辭職加盟，組建“數(shù)學(xué)夢(mèng)之隊(duì)”

比110億估值更令人驚嘆的，是洪樂潼強(qiáng)大的“人才磁場(chǎng)”。Axiom的團(tuán)隊(duì)，堪稱全球AI與數(shù)學(xué)界的“夢(mèng)之隊(duì)”，而最具傳奇色彩的，是57歲的世界頂尖數(shù)學(xué)家——Ken Ono（小野?。?。

Ken Ono是弗吉尼亞大學(xué)講席教授、前美國(guó)數(shù)學(xué)學(xué)會(huì)副主席，拉馬努金數(shù)學(xué)領(lǐng)域的世界級(jí)權(quán)威，手握古根海姆獎(jiǎng)等無數(shù)榮譽(yù)，擁有安穩(wěn)的終身教職。就是這樣一位功成名就的學(xué)界泰斗，毅然辭去一切，全職加入Axiom，甘愿為年僅25歲的洪樂潼“打工”。

原因很簡(jiǎn)單：他親眼見證了Axiom系統(tǒng)的力量，看到了“數(shù)學(xué)超級(jí)智能”成為現(xiàn)實(shí)的可能。這位曾對(duì)AI持懷疑態(tài)度的老教授，在體驗(yàn)過Axiom如何嚴(yán)謹(jǐn)?shù)刈C明那些他畢生都未能解決的難題后，徹底折服。他坦言：

我真正感受到了一個(gè)AI時(shí)刻，有些事情和昨天不一樣了。

除了Ken Ono，Axiom的陣容堪稱奢華：CTO是曾任Meta AI研究總監(jiān)、最早開發(fā)CUDA技術(shù)的專家Shubho Sengupta；核心科學(xué)家Fran?ois Charton是將Transformer引入數(shù)學(xué)領(lǐng)域的先驅(qū)。一支僅30多人的團(tuán)隊(duì)，匯聚了全球數(shù)學(xué)與AI領(lǐng)域的頂尖頭腦，而凝聚他們的核心，正是洪樂潼清晰的技術(shù)愿景與純粹的理想主義。

04后登場(chǎng)：AI創(chuàng)業(yè)進(jìn)入“理想主義者”時(shí)代

洪樂潼的崛起，并非個(gè)例。她正代表著一股席卷全球的新勢(shì)力——00后技術(shù)天才。他們與上一代創(chuàng)業(yè)者截然不同，不為追逐風(fēng)口，不為顛覆商業(yè)模式，而是為了解決人類最根本的科學(xué)與技術(shù)難題。

與洪樂潼同期，同樣出生于2001年、師從李飛飛的陳源培，其創(chuàng)立的靈初智能完成20億元融資；耶魯博士畢業(yè)的00后楊豐瑜，回國(guó)創(chuàng)辦具身智能公司優(yōu)理奇，融資數(shù)億元；三位00后創(chuàng)辦的AI招聘平臺(tái)Mercor，估值達(dá)20億美元。

這群年輕的創(chuàng)業(yè)者，普遍擁有頂尖學(xué)術(shù)背景，不被世俗經(jīng)驗(yàn)束縛，對(duì)技術(shù)抱有純粹的信仰。洪樂潼曾自勉：“祝自己做花也做樹。繽紛熱情，孤離兀立?！彼诓稍L中極少談?wù)摴乐蹬c風(fēng)口，目光始終聚焦于“AI的上限在哪里”“如何通向超級(jí)智能”。

這正是Axiom的終極使命：Verified AI關(guān)注的，絕不僅僅是修補(bǔ)AI的缺點(diǎn)，真正瞄準(zhǔn)的，是AI的上限，是通向超級(jí)智能的階梯。

05結(jié)語

從廣州務(wù)工家庭的小女孩，到掌舵110億估值獨(dú)角獸的創(chuàng)始人；從MIT的數(shù)學(xué)天才，到讓終身教授追隨的領(lǐng)袖，25歲的洪樂潼用自己的軌跡，重新定義了天才、創(chuàng)業(yè)與時(shí)代。

她的故事告訴我們，AI的未來，不僅在于參數(shù)的堆砌與應(yīng)用的狂歡，更在于像數(shù)學(xué)一樣嚴(yán)謹(jǐn)、可靠、可信賴的底層基石。當(dāng)00后理想主義者站上舞臺(tái)中央，用純粹的好奇心與極致的技術(shù)追求去探索真理，我們有理由相信，那個(gè)真正安全、可靠、通向超級(jí)智能的AI未來，正由這群年輕人親手締造。