免責(zé)聲明：本網(wǎng)發(fā)布此文章，旨在為讀者提供更多信息資訊。文章觀點(diǎn)僅供參考，所涉及內(nèi)容不構(gòu)成投資、消費(fèi)建議。為提高文章流暢性，文章可能存在故事編譯，讀者請(qǐng)自行辯解！如事實(shí)如有疑問，請(qǐng)與有關(guān)方核實(shí)。

00后硬科技引爆資本熱

2025年初，硅谷創(chuàng)投圈被一個(gè)消息炸翻——一家成立僅數(shù)月、連官網(wǎng)都沒完善的AI公司，憑一張“數(shù)學(xué)天才”履歷，斬獲6400萬美元種子輪融資，投后估值直奔3億美元（約21億人民幣）。

更讓人震驚的是掌舵者是24歲中國(guó)00后姑娘，沒產(chǎn)品沒客戶團(tuán)隊(duì)剛組建，憑什么讓B Capital這樣的頂級(jí)資本搶著押注？

這背后，藏著AI時(shí)代最硬核的“造富密碼”——不拼資歷拼算法，不講故事拼定理。

24歲廣州姑娘的AI數(shù)學(xué)傳奇

這個(gè)讓資本搶著押注的姑娘叫洪樂潼，24歲，廣州人。

她的履歷像本“天才成長(zhǎng)手冊(cè)”：從華南師大附中奧數(shù)省隊(duì)起步，17歲考入麻省理工，三年啃下數(shù)學(xué)與物理雙學(xué)位，摩根獎(jiǎng)、Schafer數(shù)學(xué)卓越獎(jiǎng)拿到手軟，還是羅德獎(jiǎng)學(xué)金中國(guó)獲獎(jiǎng)?wù)咧弧?/p>

后來進(jìn)斯坦福讀數(shù)學(xué)與法學(xué)雙博士，卻在2024年突然退學(xué)，一頭扎進(jìn)AI數(shù)學(xué)推理賽道，創(chuàng)辦了Axiom Math——這家連成熟產(chǎn)品都沒跑出來的公司，單憑她的名字和履歷，就撐起了21億估值。

從奧數(shù)省隊(duì)到AI創(chuàng)業(yè)

洪樂潼自幼就透著股對(duì)數(shù)字的敏感，小學(xué)奧數(shù)競(jìng)賽拿獎(jiǎng)拿到手軟，高中直接闖進(jìn)華南師大附中奧數(shù)省隊(duì)，代表廣東拿過全國(guó)聯(lián)賽銀獎(jiǎng)。

麻省理工三年讀完數(shù)學(xué)與物理雙學(xué)位，期間一口氣修完20門碩博課程，跨數(shù)學(xué)、物理、計(jì)算機(jī)三領(lǐng)域發(fā)表6篇頂刊論文，還順手拿了摩根獎(jiǎng)和Schafer數(shù)學(xué)卓越獎(jiǎng)——這倆獎(jiǎng)在北美數(shù)學(xué)界，相當(dāng)于本科生的"諾貝爾獎(jiǎng)提名"。

后來去牛津讀神經(jīng)科學(xué)碩士，研究大腦如何處理復(fù)雜邏輯，又跑到斯坦福讀數(shù)學(xué)與法學(xué)雙博士，一邊啃數(shù)論難題，一邊琢磨AI倫理。

轉(zhuǎn)折出現(xiàn)在2023年深秋，她在斯坦福AI實(shí)驗(yàn)室跟Meta研究員Shubho Sengupta喝咖啡，對(duì)方吐槽現(xiàn)有大模型"數(shù)學(xué)是硬傷"：ChatGPT解微積分還行，遇到需要多步推理的數(shù)論問題，得分率驟降到5%，本質(zhì)是"套公式而非真理解"。

洪樂潼當(dāng)場(chǎng)翻出自己研究的大腦邏輯處理模型，發(fā)現(xiàn)AI缺的正是人類那種"從公理推定理、從特例猜規(guī)律"的底層推理能力。

那天晚上她在實(shí)驗(yàn)室待到凌晨三點(diǎn)，寫出17頁(yè)紙的《AI數(shù)學(xué)推理缺陷分析》，第二天就跟導(dǎo)師說要退學(xué)——與其在論文里討論AI，不如親手造一個(gè)會(huì)推理的AI。

數(shù)學(xué)界AlphaGo團(tuán)隊(duì)揭秘

退學(xué)后三個(gè)月，她拉來的第一個(gè)人就是當(dāng)時(shí)吐槽大模型的Shubho Sengupta。

這位Meta AI前研究員曾領(lǐng)導(dǎo)開發(fā)OpenGo，對(duì)AI推理機(jī)制門兒清，直接辭了職來當(dāng)CTO。

接著是法國(guó)數(shù)學(xué)家Fran?ois Charton，最早把Transformer模型用到數(shù)學(xué)證明里的人，被洪樂潼一句“咱們?cè)靷€(gè)會(huì)提猜想的AI”說動(dòng)，帶著論文數(shù)據(jù)庫(kù)就搬來了硅谷。

深耕代碼生成大模型的Hugh Leather也來了，他之前在DeepMind搞的代碼邏輯優(yōu)化技術(shù)，正好補(bǔ)全AI寫證明過程的短板。

最狠的是挖來數(shù)論領(lǐng)域大牛小野健，這位日本數(shù)學(xué)家在模形式領(lǐng)域摸爬了四十年，洪樂潼蹲在他牛津辦公室門口聊了三天，最后靠一句“您解不開的題，AI或許能搭把手”把人請(qǐng)走。

團(tuán)隊(duì)湊齊時(shí)，Axiom Math連正經(jīng)辦公室都沒有，擠在斯坦福孵化器的共享工位里。

今年年初，他們用Lean語(yǔ)言寫的AxiomProver突然炸了學(xué)術(shù)界——這東西一口氣搞定兩個(gè)懸而未決幾十年的埃爾德什猜想，證明過程被《數(shù)學(xué)年刊》收錄時(shí)，審稿人還以為是哪個(gè)頂尖團(tuán)隊(duì)的成果，后來才發(fā)現(xiàn)背后是群平均年齡不到30歲的年輕人。

現(xiàn)在公司盯著的，是金融風(fēng)控模型的實(shí)時(shí)優(yōu)化、AI芯片底層算法設(shè)計(jì)、Web3智能合約的數(shù)學(xué)驗(yàn)證這些硬需求，畢竟哪行都缺不了能從公理推到定理的“超級(jí)計(jì)算器”。

00后硬核創(chuàng)業(yè)軍團(tuán)?？屑夹g(shù)難題

洪樂潼和她的Axiom Math并非孤例。

全球00后創(chuàng)業(yè)者正在AI、機(jī)器人等前沿領(lǐng)域扎堆崛起，他們的共同點(diǎn)是：不拼PPT，不講故事，專挑行業(yè)里最難啃的技術(shù)骨頭啃。

美國(guó)AI編程公司Anysphere的CEO Michael Truell是個(gè)標(biāo)準(zhǔn)00后，公司開發(fā)的代碼編輯器Cursor去年年化收入突破10億美元，估值沖到90億美元，核心技術(shù)是讓AI能實(shí)時(shí)理解程序員的邏輯漏洞；

AI招聘平臺(tái)Mercor的創(chuàng)始人Foody才22歲，靠AI精準(zhǔn)匹配候選人與崗位需求，拿下OpenAI的合作訂單，估值20億美元；

還有AI編程公司Magic，創(chuàng)始人2000年出生，團(tuán)隊(duì)用大模型優(yōu)化代碼生成效率，成立兩年估值15億美元。

國(guó)內(nèi)00后同樣不示弱。

靈初智能的陳源培拒絕華為“天才少年”百萬年薪offer，帶著團(tuán)隊(duì)死磕21自由度靈巧手，去年靠能擰瓶蓋、穿針線的機(jī)械手指，拿到英偉達(dá)的聯(lián)合研發(fā)訂單，公司估值半年破億；

清華零次方機(jī)器人的創(chuàng)始人團(tuán)隊(duì)平均年齡23歲，他們開發(fā)的小型物流機(jī)器人能在0.3秒內(nèi)識(shí)別復(fù)雜路況，已簽下京東物流的千萬級(jí)訂單；

UniX AI的21歲創(chuàng)始人付智，用自研的分布式訓(xùn)練框架解決大模型算力浪費(fèi)問題，去年獲紅杉中國(guó)領(lǐng)投的5000萬美元融資。

這些00后創(chuàng)業(yè)者辦公室里幾乎見不到精美的路演PPT，墻上貼的全是技術(shù)參數(shù)表、算法優(yōu)化公式，連融資談判都直接甩代碼倉(cāng)庫(kù)地址——“技術(shù)行不行，看代碼就知道”。

AI時(shí)代新生存法則

洪樂潼麻省理工+牛津+斯坦福的履歷，陳源培清華姚班的科研經(jīng)歷，付智中科大少年班時(shí)發(fā)表的芯片架構(gòu)論文，這些00后創(chuàng)業(yè)者的“敲門磚”從不是PPT，而是頂刊論文和專利證書。

他們總能精準(zhǔn)戳中行業(yè)最痛的“神經(jīng)”：洪樂潼盯著AI不會(huì)推理的底層缺陷，付智死磕大模型算力浪費(fèi)的卡脖子問題，靈初智能陳源培看準(zhǔn)靈巧手在工業(yè)場(chǎng)景的空白。

更關(guān)鍵的是他們的全球化整合力——洪樂潼能拉來Meta、牛津的AI大牛，陳源培靠一篇機(jī)器人頂會(huì)論文打動(dòng)英偉達(dá)合作，22歲的Foody用算法模型說服OpenAI開放接口。

這群年輕人早把“資歷”二字從字典里劃掉，用數(shù)學(xué)公式推導(dǎo)商業(yè)邏輯，靠代碼邏輯重構(gòu)行業(yè)規(guī)則，跨學(xué)科的知識(shí)拼圖和對(duì)算法的直覺，成了比“十年經(jīng)驗(yàn)”更硬的底氣。

資歷貶值時(shí)代00后破局啟示

00后已扎堆AI、機(jī)器人等硬核領(lǐng)域成主力軍，Anysphere估值90億、Mercor估值20億，國(guó)內(nèi)靈初智能、零次方機(jī)器人靠硬技術(shù)拿千萬訂單。

他們憑頂尖學(xué)術(shù)背景當(dāng)敲門磚，精準(zhǔn)切中行業(yè)底層痛點(diǎn)，用數(shù)學(xué)公式和代碼邏輯重構(gòu)規(guī)則。

40歲程序員還在焦慮“經(jīng)驗(yàn)貶值”，24歲數(shù)學(xué)博士早用定理敲開資本大門。

AI時(shí)代早不為PPT買單，只為可驗(yàn)證的硬科技瘋狂，這屆00后證明：真正的底氣，永遠(yuǎn)藏在公式與代碼的邏輯里。