![]()
當(dāng)AI的“幻覺”與“黑盒”成為行業(yè)頑疾,一位來(lái)自中國(guó)廣州的00后女孩,帶著顛覆式的答案闖入了硅谷中心。2026年3月,AI初創(chuàng)公司Axiom完成2億美元A輪融資,估值飆升至16億美元(約合人民幣110億元),成立僅一年便躋身獨(dú)角獸行列。而這家公司的掌舵人,正是25歲的天才少女洪樂(lè)潼。她出身普通務(wù)工家庭,卻一路開掛闖入MIT、牛津、斯坦福;她中途退學(xué)創(chuàng)業(yè),竟讓世界頂尖的終身教授放棄一切追隨。她的故事,不僅是個(gè)人天才的傳奇,更標(biāo)志著AI創(chuàng)業(yè)已進(jìn)入由00后理想主義者主導(dǎo)的新紀(jì)元。
01務(wù)工家庭走出的天才:從廣州草稿紙到MIT殿堂
洪樂(lè)潼的傳奇,始于廣州一個(gè)平凡的潮汕務(wù)工家庭。父母沒(méi)有高等學(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歲的洪樂(lè)潼如愿叩開麻省理工學(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é)府,洪樂(lè)潼用天賦與努力,完成了常人難以企及的階層與認(rèn)知跨越。
02退學(xué)創(chuàng)業(yè):直擊AI“黑盒”痛點(diǎn),創(chuàng)造“可驗(yàn)證”的真理
就在學(xué)術(shù)道路一片坦途時(shí),洪樂(lè)潼卻做出了驚人決定:從斯坦福退學(xué),全職創(chuàng)業(yè)。她看到了當(dāng)時(shí)AI行業(yè)最尖銳、也最致命的矛盾——大模型越強(qiáng),越不可信。
彼時(shí),以GPT-4為代表的大模型在語(yǔ)言能力上突飛猛進(jìn),但本質(zhì)上仍是基于統(tǒng)計(jì)概率的“鸚鵡學(xué)舌”。它們能給出看似正確的答案,卻無(wú)法保證每一步推理的嚴(yán)謹(jǐn)性,“幻覺”(胡說(shuō)八道)頻發(fā)。在日常聊天中無(wú)傷大雅,但在金融風(fēng)控、量化交易、國(guó)防安全等“零錯(cuò)誤容忍”的領(lǐng)域,這種不確定性就是災(zāi)難。
作為數(shù)學(xué)博士,洪樂(lè)潼一針見血地指出:當(dāng)前AI缺乏嚴(yán)格的邏輯推理訓(xùn)練體系。她的解決方案是:讓AI像數(shù)學(xué)家一樣工作,每一步推理都像數(shù)學(xué)證明一樣嚴(yán)密、可驗(yàn)證、無(wú)懈可擊。
2025年,她創(chuàng)立Axiom公司(意為“公理”),提出“數(shù)學(xué)即服務(wù)”(Math as a Service)模式。其核心產(chǎn)品AxiomProver系統(tǒng),通過(guò)訓(xùn)練AI掌握專為數(shù)學(xué)證明設(shè)計(jì)的Lean語(yǔ)言,確保AI輸出的不僅是答案,更是一套完整、可被機(jī)器檢查的邏輯證明鏈條。
- 傳統(tǒng)AI:答案≈“我覺得是對(duì)的”(概率)
- Axiom AI:答案=“已被證明是對(duì)的”(真理)
這一理念迅速震撼了學(xué)界與資本。成立僅4個(gè)月,Axiom便獲6400萬(wàn)美元種子輪融資;2025年12月,其AI系統(tǒng)在難度極高的普特南數(shù)學(xué)競(jìng)賽中滿分奪冠,并在無(wú)人干預(yù)下,僅用1天和5小時(shí)就證明了兩道困擾數(shù)學(xué)界20年的埃爾德什數(shù)論難題。技術(shù)實(shí)力的硬核證明,讓其在2026年3月的A輪融資中估值暴漲至110億人民幣,成為全球最受矚目的AI新星。
03群星追隨:終身教授辭職加盟,組建“數(shù)學(xué)夢(mèng)之隊(duì)”
比110億估值更令人驚嘆的,是洪樂(lè)潼強(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)等無(wú)數(shù)榮譽(yù),擁有安穩(wěn)的終身教職。就是這樣一位功成名就的學(xué)界泰斗,毅然辭去一切,全職加入Axiom,甘愿為年僅25歲的洪樂(lè)潼“打工”。
原因很簡(jiǎn)單:他親眼見證了Axiom系統(tǒng)的力量,看到了“數(shù)學(xué)超級(jí)智能”成為現(xiàn)實(shí)的可能。這位曾對(duì)AI持懷疑態(tài)度的老教授,在體驗(yàn)過(guò)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)域的頂尖頭腦,而凝聚他們的核心,正是洪樂(lè)潼清晰的技術(shù)愿景與純粹的理想主義。
04后登場(chǎng):AI創(chuàng)業(yè)進(jìn)入“理想主義者”時(shí)代
洪樂(lè)潼的崛起,并非個(gè)例。她正代表著一股席卷全球的新勢(shì)力——00后技術(shù)天才。他們與上一代創(chuàng)業(yè)者截然不同,不為追逐風(fēng)口,不為顛覆商業(yè)模式,而是為了解決人類最根本的科學(xué)與技術(shù)難題。
與洪樂(lè)潼同期,同樣出生于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é)語(yǔ)
從廣州務(wù)工家庭的小女孩,到掌舵110億估值獨(dú)角獸的創(chuàng)始人;從MIT的數(shù)學(xué)天才,到讓終身教授追隨的領(lǐng)袖,25歲的洪樂(lè)潼用自己的軌跡,重新定義了天才、創(chuàng)業(yè)與時(shí)代。
她的故事告訴我們,AI的未來(lái),不僅在于參數(shù)的堆砌與應(yīng)用的狂歡,更在于像數(shù)學(xué)一樣嚴(yán)謹(jǐn)、可靠、可信賴的底層基石。當(dāng)00后理想主義者站上舞臺(tái)中央,用純粹的好奇心與極致的技術(shù)追求去探索真理,我們有理由相信,那個(gè)真正安全、可靠、通向超級(jí)智能的AI未來(lái),正由這群年輕人親手締造。
特別聲明:以上內(nèi)容(如有圖片或視頻亦包括在內(nèi))為自媒體平臺(tái)“網(wǎng)易號(hào)”用戶上傳并發(fā)布,本平臺(tái)僅提供信息存儲(chǔ)服務(wù)。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.