4月13日消息，25歲廣州天才少女洪樂潼，從斯坦福博士退學創業，僅憑20人團隊、成立不足兩年，就把公司做到110億元估值——這一消息震驚了硅谷，讓無數風投擠破頭。
2026年3月中旬，她創立的AI公司Axiom完成2億美元A輪融資，並強勢躋身獨角獸行列。
Axiom不碰聊天機器人和文生圖應用，而是專攻大模型最棘手的“幻覺”問題——用形式化驗證技術從數學根源上封堵AI的胡說八道。
Axiom採用異構協作模式：大模型負責猜想與搜索，Lean編程語言負責最終驗算，任何一步邏輯跳躍都會被系統直接拒絕通過。
2025年12月，Axiom核心系統AxiomProver在普特南數學競賽中完成全部12道試題並取得滿分，近百年來僅5位人類選手達成過這一成就。
同月，洪樂潼入選“福布斯30歲以下30人”榜單。
洪樂潼2001年出生於廣州普通務工家庭，17歲考入麻省理工學院，三年修完數學與物理雙學位。
本科期間發表9篇論文並斬獲北美數學本科生最高榮譽摩根獎，還獲得了美國每年僅授予一名女性本科生的Alice T. Schafer數學獎。
2021年她獲得羅德獎學金赴牛津攻讀神經科學碩士，隨後進入倫敦大學學院蓋茨比計算神經科學中心投身深度學習研究。
之後她又考入斯坦福攻讀數學與法律雙博士，最終選擇退學創業。