四川
說句實在話，現(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.
