AI數學前沿：一位24歲史丹佛退學生如何重塑行業

在風險投資圈內發生的範式轉變中，年輕創始人正越來越受到關注與資金青睞。一個引人注目的例子是Axiom Math最近宣布的A輪融資：這家人工智慧推理初創公司籌得$64 百萬美元的投資，估值也提升至$300 百萬美元。在B Capital的領投下，並獲得Greycroft、Madrona和Menlo Ventures的支持，這輪融資彰顯投資者對下一代AI創業的信心日益增強。這個募資故事之所以特別，不僅在於數字，更在於帶領公司航向的遠見者：Carina Hong，一位00後創業者，代表著一種重塑矽谷的新型技術創始人。

Axiom Math的背後是誰？

Hong Letong，職業名為Carina Hong，出生並成長於廣州，展現了當代精英創始人的典範。她的教育背景堪稱一堂制度卓越的名校課：就讀於華南師範大學附屬中學(，在數學競賽中展現出色)，擁有MIT的數學與物理雙學位，並以享有盛譽的羅德獎學金獲得牛津大學神經科學碩士學位(，這是只有四位中國獲得者的殊榮)，最近更是成為史丹佛大學數學與法律的博士候選人。

一路累積的榮譽也講述著她的故事。她獲得了Schafer數學卓越獎——每年只授予北美一名女本科生——隨後獲得了Morgan獎，這是該地區數學本科生最高榮譽，使她成為史上第五位獲此殊榮的女性。在MIT本科期間，她修習了20門研究生級別的課程，並在模塊橢圓曲線和K3表面等高階數學領域發表了多篇論文。

Axiom的起源：從咖啡廳對話到$300 百萬估值

這個創業故事幾乎像電影般簡單。在斯坦福校園附近的一個休閒週末偶遇中，Hong與Shubho Sengupta——一位曾任Meta AI研究員、領導FAIR團隊並共同開發OpenGo與CrypTen的專家——展開了長時間的對話，探討高等數學與人工智慧的交集。討論的核心問題是：AI系統能否解決世界上最棘手的數學難題？

這次對話成為決定的催化劑。Hong離開斯坦福，決心全力打造Axiom Math，這也成為今年最重要的AI產品之一的起點。

Axiom究竟解決了什麼問題？

Axiom定位為「一個AI數學家」——一個能將教科書、學術論文和期刊中的數學知識轉化為機器可執行程序的系統。這個區別很重要：與難以進行數學推理的通用語言模型不同，Axiom不僅產生答案，還提供詳細的逐步證明、驗證和推理鏈。

這個技術差距是真實存在的。當ChatGPT o3在美國數學競賽中測試時，準確率達到96%，但一旦要求展示證明方法，性能就崩潰到約5%。這個差異揭示了一個關鍵缺陷：模型的訓練資料可能包含這些特定問題，掩蓋了其潛在的推理不足。

Axiom的研究路線圖不僅局限於純數學。團隊展望其應用範圍涵蓋金融建模、半導體架構設計和量化交易——這些領域中，嚴謹的數學驗證能將盈利策略與災難區分開來。

團隊建設：一個具有Meta DNA的00後集體

儘管Axiom僅在幾個月前自籌資金，但已組建了一支由知名AI研究員主導的10人核心團隊。現任CTO Shubho Sengupta擁有二十年的尖端機器學習經驗，包括早期CUDA技術和Google的分布式訓練基礎設施。從Meta研究部門招募來的François Charton，專注於將變壓器架構應用於數學問題解決。另一位Meta校友Hugh Leather則在為編譯器和GPU代碼生成設計的大型語言模型方面做出了基礎性工作。

這些人才的組合——集中、專注且不拘一格——正是吸引B Capital投資的原因，因為他們展現了強大的執行能力和技術深度。

更廣泛的時代：00後創始人在AI領域的崛起

Axiom的成功是更大敘事的一部分：00後創始人正以驚人的成功率集體進軍AI領域。

例如，Sola Solutions由22歲的Jessica Wu和23歲的Neil Deshmukh創立(，兩人都是MIT校友)。他們在種子輪和A輪融資中籌得$21 百萬美元，分別由(Conviction領投)和由(a16z領投)，融資額分別為3.5百萬和17.5百萬美元。

還有Anysphere——由Michael Truell和三位2022年MIT畢業生共同創立的AI程式設計初創公司。他們的B輪估值達到$9 十億美元，融資額為$900 百萬美元。他們的產品Cursor已成為矽谷工程師在AI輔助開發中的標準工具。

Mercor，這個AI招聘平台，通過$2 百萬美元的B輪融資達到$100 十億美元的估值，並由三位00後哈佛和喬治城大學的退學生在宿舍創立。

在中國，這一模式也在複製：由清華的閔宇恒、程毅和李逸哲創立的Zero Degree(機器人公司，已在天使輪融資中籌得數億元。Lingchu Intelligent獲得Hillhouse Venture和BlueRun Ventures的支持。由Yang Fengyu)，一位2000年出生、耶魯大學計算機科學博士(，創立的UniX AI，已成為實體AI投資的焦點。

為何00後創始人可能真的具有優勢？

來自頂級風投公司提出的投資論點認為，這些年輕創始人擁有系統性的優勢。真Fund的管理合夥人戴育森指出：「我們堅信創業往往屬於年輕人。」其理由是：許多AI突破發生在經驗積累反而成為負擔的領域。現有的操作手冊不再適用。00後創始人，未被制度記憶束縛，能用全新的框架來解決問題。

戴育森補充：「無知是無畏的。許多技術創新正是因為參與者了解這個領域卻敢於挑戰它。」

Hong Letong建立的時刻

Axiom的官方立場——「數學發現的未來從這裡開始」——之所以具有分量，正是因為由誰來說。在一次早前的訪談中，Hong回顧了她的創業動機：「我一直是個研究者。我想解決真正困難的技術問題。」

在創立Axiom之前，當DeepSeek引起全球關注時，Hong曾表示：「一個小而專注、非傳統的團隊。理想主義者組成的優秀夥伴。強大的執行力。親力親為的投入。最珍貴的元素是：對理想和使命的交織信念。」她接著說：「這是DeepSeek的故事，也是我希望親自書寫的故事。」

有)百萬美元的資金支持，並有全球最優秀的10位AI研究員致力於這個使命，這個故事正被實時書寫。