出生普通，畢業(yè)頂尖高校，退學(xué)創(chuàng)業(yè)……

短短幾年，讓一個名不見經(jīng)傳的大學(xué)生，成為硅谷矚目的焦點。

憑借不到10人的團隊，打造了一家價值21億元人民幣的AI公司。

沒有產(chǎn)品，卻成功獲得天價融資，洪樂潼做對了什么？一個普通廣東女孩，是否真有能力改變AI的發(fā)展軌跡？

普通出身卻不普通的選擇

洪樂潼2001年出生于廣州的一個普通家庭，父母經(jīng)營水果攤，沒有接受過高等教育，盡管家境平凡，父母的勤奮和堅毅深深影響了她。

從小到大，她和同齡孩子一樣，沒有表現(xiàn)出任何天賦，但一次學(xué)校奧數(shù)培訓(xùn)班，徹底改變了她的軌跡。

從中學(xué)開始，洪樂潼沉迷數(shù)學(xué)的邏輯與推理，常為一道難題廢寢忘食，這種執(zhí)著，讓她從校級比賽一路攀升到省隊，成為華南師大附中四名女奧數(shù)主力之一。

期間，她多次在國內(nèi)外高水平數(shù)學(xué)比賽中奪得大獎，參加“美國數(shù)學(xué)奧林匹克競賽”時，她偶然接觸到了“麻省理工學(xué)院（MIT）”，并立下了去那里的目標(biāo)。

2018年，洪樂潼進入MIT，這個世界頂尖學(xué)府成了她進一步實現(xiàn)人生夢想的舞臺，在那里，她用三年同時完成了數(shù)學(xué)與物理雙學(xué)位，掌握了20多門高階課程。

這些都讓洪樂潼的人生看起來像一部學(xué)術(shù)少女的勵志劇，從牛津大學(xué)到斯坦福博士再到放棄學(xué)業(yè)創(chuàng)業(yè)，她的每一步卻比上一階段更令人不可思議：為什么一個中國姑娘會做出這樣的選擇？

創(chuàng)業(yè)路上，用AI解決數(shù)學(xué)難題

2024年，洪樂潼在斯坦福攻讀博士期間，與前Meta工程師Shubho Sengupta的一次聊天，開啟了她的創(chuàng)業(yè)旅程。

這次“頭腦風(fēng)暴”給了她靈感：雖然數(shù)學(xué)研究領(lǐng)域深奧難懂，但AI或許可以彌補人類思維的局限，甚至開創(chuàng)一個全新的時代。

于是，她立刻決定放棄學(xué)業(yè)，全身心投入創(chuàng)業(yè)，在舊金山成立了Axiom Math公司，這家新興公司專注研發(fā)邏輯推理型AI，希望用AI解決高深數(shù)學(xué)問題，甚至提出新的數(shù)學(xué)猜想。

她給這個模式起了個聽起來“高”又“冷”的名字—“數(shù)學(xué)即服務(wù)”，不僅提供數(shù)學(xué)推演工具，還大力開發(fā)可以完成證明和驗證的AI模型。

如果成功，這將意味著科學(xué)家們能用更高效的方式處理科研工作，引領(lǐng)數(shù)學(xué)進入人工智能的全新時代。

不到一年，Axiom Math的第一個突破震驚了世界：公司研發(fā)的AxiomProver模型以一種前所未有的方式，用Lean語言完成了埃爾德什猜想的形式化證明。

這一數(shù)學(xué)問題已經(jīng)“冷藏”數(shù)十年，沒想到竟是由一家僅成立不到一年的AI公司解決的。

為此，Axiom Math吸引了更多專業(yè)科學(xué)家的關(guān)注，2025年，公司團隊雖然只有10人，但成員背景堪稱豪華：不僅包括Meta FAIR團隊的核心工程師、解析數(shù)論領(lǐng)域?qū)＜业龋€吸引了一些世界級大學(xué)教授主動加入。

洪樂潼的大學(xué)導(dǎo)師甚至愿意放棄終身教職，為她的公司出謀劃策，她用行動證明：AI模型可以帶來比多數(shù)學(xué)者傳統(tǒng)研究更多的成果，而年輕人的“無知者無畏”往往成就了歷史一場變革。

有了這塊“招牌”后，2025年10月，他們成功完成種子輪融資，一舉籌得6400萬美元，公司估值高達(dá)3億美元，成為了行業(yè)矚目的焦點。

從硅谷到全球

年輕創(chuàng)業(yè)者層出不窮，洪樂潼的成功并非孤例，無論是在美國還是中國，這些00后的“新星”都扮演著科技發(fā)展不可忽視的角色。

僅在美國，22歲的Jessica Wu已經(jīng)創(chuàng)立了以AI自動化為核心的Sola Solutions公司，而另一對年輕人開發(fā)的Interview Coder工具在短短三個月內(nèi)盈利，迅速躋身百萬美元陣營。

一些硅谷初創(chuàng)公司不再單純追求新奇概念，轉(zhuǎn)而直接攻克技術(shù)“硬骨頭”，為行業(yè)提供核心價值，這其中，AI技術(shù)又是創(chuàng)業(yè)的熱門方向，其最核心的問題點反而成了年輕人的突破點。

中國的局面則稍有不同，相比美國，國內(nèi)的年輕創(chuàng)業(yè)者更注重深耕技術(shù)領(lǐng)域，比如由清華、北大畢業(yè)生主導(dǎo)的DeepSeek，已推出多項負(fù)責(zé)算法模型服務(wù)。

類似這種以學(xué)術(shù)背景為強大支撐的模式，讓中國技術(shù)型企業(yè)在全球范圍內(nèi)更具競爭力。

至于洪樂潼，她在“兩者結(jié)合”中找到了自己的模式：既保持了中國式扎實的數(shù)理訓(xùn)練基礎(chǔ)，又套用了硅谷風(fēng)投與跨學(xué)科合作的創(chuàng)業(yè)方式。

她不僅意識到數(shù)學(xué)研究的本質(zhì)重要性，還看到了跨學(xué)科融合的巨大潛力，AI技術(shù)浪潮的興起，讓她這樣的“后浪”得以迅速崛起。

資金的瘋狂追捧，正是全行業(yè)對數(shù)學(xué)基礎(chǔ)設(shè)施價值的認(rèn)可，但當(dāng)AI的風(fēng)口過去，人們是否還能記得這個曾在硅谷掀起浪潮的廣東姑娘？

洪樂潼的故事，將中國的教育優(yōu)勢與硅谷的創(chuàng)業(yè)氛圍緊密結(jié)合，這種東西方優(yōu)勢的碰撞，造就了Axiom Math的崛起，而AI+數(shù)學(xué)，這條年輕人用技術(shù)和思想開辟的新戰(zhàn)場，為全球?qū)W術(shù)界與科技圈注入了不一樣的活力。