00后，0產品，估值20億！

近日，一位00后女生名字頻繁刷屏創投圈——洪樂潼（Carina Hong）。這位斯坦福大學數學與法學雙博士在讀的潮汕女孩，僅憑一個尚未推出產品的AI初創公司Axiom，便斬獲3-5億美元估值，成為全球AI賽道最耀眼的“新星”。她的故事，不僅是一個天才少女的逆襲傳奇，更揭示了00后創業者如何以“技術硬核”撕開AI時代的新風口。

一、從華南師大附中到斯坦福：天才少女的“開掛”人生

數學天賦初顯：高中時期，她已是全國高中數學聯賽省隊唯一女生，多次斬獲“華羅庚金杯”等競賽大獎 。

學術“頂流”之路：2019年考入麻省理工學院（MIT），3年完成數學與物理雙學位，發表論文涵蓋數論、組合學等前沿領域，獲北美數學界最高榮譽摩根獎 。

國際視野：2021年獲牛津大學羅德獎學金（全球僅100人），主攻神經科學；2024年進入斯坦福攻讀數學博士，同時輔修法學，形成“數學-法律-生物”跨學科思維 。

關鍵洞察：她的學術積累并非紙上談兵。在MIT期間，她已意識到AI大模型的致命短板——數學推理能力薄弱。例如，ChatGPT雖能“背題”，卻無法展示嚴謹證明過程，OpenAI模型更被曝出“作弊”爭議 。

圖片來源：麻省理工學院

二、Axiom：用AI重新定義數學的“公理革命”

洪樂潼的創業項目Axiom（意為“公理”），瞄準的是AI數學領域的“無人區”：

技術突破：通過編程語言訓練AI掌握形式化數學證明，確保答案的邏輯嚴密性。例如，解決組合優化問題時，模型需像數學家一樣推導每一步，而非依賴數據匹配 。

市場定位：瞄準對沖基金、量化交易機構，為其提供高頻、精準的數學模型服務。例如，衍生品定價、風險評估等場景，傳統依賴人工建模，而Axiom可縮短90%時間 。

行業痛點：當前AI在組合數學領域幾乎空白，而洪樂潼的研究恰好填補這一空白。谷歌雖在IMO幾何題中接近人類水平，但組合數學得分不足5% 。

谷歌的AI在2024年IMO比賽中相對于人類競爭對手的表現，獲得了總分42分中的28分，達到了與比賽中銀牌得主相同的水平

爭議與挑戰：盡管Axiom尚未推出產品，但其估值已引發質疑。洪樂潼回應：“我們正在構建數學邏輯的底層框架，而非追逐短期熱點。”

三、00后創業潮：技術革命下的“新貴”邏輯

洪樂潼的崛起絕非偶然。2025年，00后正以“無包袱、強跨界”重塑創投格局：

技術信仰：與父輩依賴經驗不同，00后更愿押注“從0到1”的顛覆性創新。例如，洪樂潼放棄金融高薪，選擇冷門的數學AI賽道 。

全球化視野：她同時活躍于MIT、牛津、斯坦福學術圈，并與硅谷頂級風投B Capital（曾投Perplexity）建立聯系，展現資源整合能力 。

資本邏輯：投資人看重的是“創始人本身”。正如真格基金戴雨森所言：“無知者無畏，00后更能打破行業慣性。”

圖丨洪樂潼（來源：MIT Alumni）

四、未來展望：AI數學的“中國方案”能否跑出？

洪樂潼的野心不止于商業。她曾公開表示：“希望打造一個開源數學證明平臺，讓全球研究者共享AI推導成果。” 若能實現，或將改寫數學研究范式——從“個體天才”轉向“人機協同”。

從華南師大附中的競賽場到硅谷的AI實驗室，洪樂潼用十年完成了從“小鎮做題家”到“科技新貴”的蛻變。她的故事提醒我們：在技術革命面前，年齡與經驗未必是優勢，唯有對本質問題的追問與堅持，才能定義下一個時代。

正如她所言：“數學是宇宙的語言，而AI是我們與它對話的新工具。”這場由00后主導的數學革命，或許正是中國科技突圍的下一個爆點。