![]()
說句實在話,現(xiàn)在美國硅谷最火的是一群剛成年的00后!
尤其是那個來自廣州、24歲就估值超20億人民幣的中國姑娘洪樂潼。
![]()
她沒產(chǎn)品、沒客戶、連官網(wǎng)都還沒搭好,卻讓B Capital這樣的頂級風投搶著砸錢。
這不是神話,是AI時代對“硬核天才”的瘋狂溢價。
![]()
洪樂潼,潮汕籍的廣州靚女,華南師大附中畢業(yè),高中時就是奧數(shù)省隊常客,“華羅庚金杯”拿獎拿到手軟。
![]()
2022年,她成為中國僅有的四位羅德獎學金得主之一,去牛津讀神經(jīng)科學,之后又殺到斯坦福,同時攻讀數(shù)學博士和法學。
![]()
但就在2024年,她做了一個讓所有人意外的決定:退學創(chuàng)業(yè)。
原因很直接,她發(fā)現(xiàn)當前的大模型在數(shù)學推理上全是“幻覺”,而她手握真正的“理科大腦”。于是,Axiom Math誕生了。
![]()
這家公司不搞花哨的聊天機器人,目標只有一個:打造能自主提出并證明數(shù)學定理的AI系統(tǒng)。
今年初,他們的AxiomProver用Lean語言,無人干預地完成了兩個懸置數(shù)十年的埃爾德什猜想的形式化證明。
![]()
這在全球學術圈炸了鍋。要知道,這類問題連人類數(shù)學家都頭疼幾十年。
更狠的是團隊配置。
洪樂潼不僅挖來了自己在弗吉尼亞大學的博導小野健。
![]()
這位可是解析數(shù)論領域的世界級專家,還集結了前Meta FAIR研究員、Open Go項目CTO Shubho Sengupta,以及數(shù)學AI先驅Francois Charton。
這種人才密度,堪比早期的OpenAI。
![]()
從另一個角度看,洪樂潼不是孤例,而是硅谷00后創(chuàng)業(yè)浪潮的縮影。
![]()
這群年輕人有個共同點:不靠PPT融資,不講“顛覆行業(yè)”的大話,專挑最難的技術難題死磕。
比如MIT的Karun Kaushik,宿舍里寫代碼就拉起團隊;22歲的Foody創(chuàng)辦Mercor,做AI招聘系統(tǒng),連OpenAI都成了客戶;23歲的Rithika Kacham搞圖像識別,目標是讓AI“看”得比人準。
![]()
他們不拼資歷,拼的是對算法的直覺和跨學科整合能力。
說句實在話,在AI這個賽道,經(jīng)驗正在快速貶值。
一個40歲的傳統(tǒng)程序員,面對大模型的突變可能束手無策;而一個24歲的數(shù)學博士,卻能用形式化驗證+概率推理+神經(jīng)符號系統(tǒng),構建出下一代AI推理引擎。
![]()
這已經(jīng)不是代際競爭,而是認知維度的碾壓。
而在中國,情況略有不同。
咱們的00后更多是“學院派硬核輸出”,像DeepSeek的核心算法團隊,清一色清華姚班、北大圖靈班的95后、00后。
![]()
深圳的具身智能創(chuàng)業(yè)圈里,哈工大、北航畢業(yè)生扎堆搞外骨骼機器人。
他們未必當CEO,但已是技術攻堅的主力。
洪樂潼的特殊在于,她把中美兩種路徑融合了:中國式扎實訓練 + 美國式敢賭敢退 + 全球頂尖人才網(wǎng)絡。
![]()
這也解釋了為什么B Capital愿意在公司尚無產(chǎn)品時,就給出3-5億美元估值。
他們買的不是公司,是未來十年AI數(shù)學基礎設施的門票。
![]()
![]()
洪樂潼的故事,不只是一個天才少女的逆襲,更是AI時代對“真才實學”的重新定價。
當世界不再為PPT買單,而為可驗證的數(shù)學證明瘋狂,我們才真正看清:未來的造富密碼,藏在定理與代碼之間。
特別聲明:以上內(nèi)容(如有圖片或視頻亦包括在內(nèi))為自媒體平臺“網(wǎng)易號”用戶上傳并發(fā)布,本平臺僅提供信息存儲服務。
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.