當00后群體開始在人工智能領域嶄露頭角，科技創業圈正經歷一場前所未有的代際變革。由24歲華裔女生洪樂潼創立的AI數學公司Axiom Math，近日宣布完成6400萬美元首輪融資，投后估值達3億美元，這一消息在硅谷和學術界引發強烈關注。
這位出生于廣州的數學天才，其學術履歷堪稱驚艷：華南師大附中奧數競賽常勝將軍、麻省理工數學與物理雙學位、牛津大學羅德獎學金獲得者、斯坦福大學數學與法學雙博士在讀。更令人矚目的是，她僅憑10人團隊就打造出能自我進化的AI數學推理系統，該系統可將數學文獻轉化為可驗證的程序化知識，潛在應用場景覆蓋金融建模、芯片設計到量化交易。
公司核心技術團隊清一色來自meta等科技巨頭。CTO Shubho Sengupta曾主導開發OpenGo和CrypTen，是CUDA技術早期開發者；數學負責人Fran?ois Charton自2019年就探索Transformer解決復雜數學問題；首席科學家Hugh Leather則開發出首批編譯器生成大模型。這個"AI夢之隊"的組建，源于洪樂潼去年在斯坦福咖啡館與Sengupta的一次即興交流，兩人關于數學與AI交叉點的討論，直接催生了Axiom的誕生。
該項目的起源頗具戲劇性。當發現ChatGPT o3在數學測試中存在"記憶作弊"現象時，洪樂潼通過實驗證明：大模型在要求展示證明過程時準確率驟降91%。這個發現直指當前AI數學的痛點，也讓她看到組合數學領域的機會——這正是她在斯坦福的研究方向。Axiom系統通過將數學理論轉化為可驗證的推理鏈，試圖解決傳統大模型"知其然不知其所以然"的缺陷。
領投方B Capital合伙人評價道："在數學發現即將迎來指數級增長的時代，能提出新假設并驗證的工具具有革命性價值。"這種判斷在投資市場得到驗證：Greycroft、Madrona等頂級機構跟投，使這家初創公司估值突破20億元人民幣。
在洪樂潼的規劃中，Axiom不僅是技術工具，更是數學發現的引擎。她曾以DeepSeek團隊為例："小而專注的團隊，帶著理想主義的信念，這種模式正是我想復制的。"公司會議室以高斯、阿達·洛夫萊斯等數學巨匠命名，暗示著對科學傳承的追求。
這股00后創業潮正在全球蔓延。麻省理工學院22歲的Jessica Wu和23歲的尼爾·德什穆克創立的Sola Solutions，今年完成2100萬美元融資；由MIT四位畢業生打造的AI編程工具Cursor，估值已達90億美元；哈佛退學生創立的AI招聘平臺Mercor，更是以20億美元估值完成B輪融資。國內清華"00后極客"團隊創立的零次方機器人，也獲得億元級融資。
"當技術變革足夠快時，經驗反而成為枷鎖。"真格基金戴雨森的觀察，道出了這代創業者的獨特優勢。他們沒有歷史包袱，對新技術保持著孩童般的好奇心。正如洪樂潼在斯坦福退學時所言："我想親自書寫數學發現的未來。"這種破釜沉舟的勇氣，或許正是AI時代最需要的特質。
