在斯坦福大學附近的Verve Coffee Roasters咖啡館里,一場改變科技行業軌跡的對話悄然展開。當時仍是博士生的Carina Hong與前meta AI研究員Shubho Sengupta意外相遇,這場持續數小時的討論最終催生出估值3億美元的AI數學公司Axiom Math。
這場引發連鎖反應的對話發生在2024年秋季。當時Sengupta正在研究能編寫軟件測試的大語言模型,而Carina Hong則專注于數學與AI的交叉領域。兩人碰撞出的思想火花讓Carina做出驚人決定:從斯坦福大學退學,投身打造"AI數學家"的創業征程。這個決定得到Sengupta的響應,他隨即以CTO身份加入新公司。
這家初創企業的核心團隊堪稱AI領域"全明星陣容"。CTO Shubho Sengupta曾主導meta FAIR團隊開發OpenGo和CrypTen,參與Google Brain分布式訓練系統研發,更是CUDA技術的早期開發者。數學發現負責人Fran?ois Charton在2019年就率先探索Transformer解決復雜數學問題,最近剛推翻一個流傳30年的數學猜想。研究科學家Hugh Leather則是深度學習代碼生成的先驅,打造出首個編譯器和GPU代碼生成大模型。
Axiom Math的辦公室充滿學術氣息,會議室以高斯、阿達·洛夫萊斯等數學巨匠命名。這種將數學研究置于核心地位的理念,吸引了包括前meta安全與公平性研究專家Aram Markosyan在內的頂尖人才。在meta以天價薪資爭奪AI人才的背景下,Axiom Math憑借"用AI推動數學發現"的使命,成功組建起這支平均從業經驗超過10年的技術團隊。
公司成立僅數月就完成6400萬美元種子輪融資,由B Capital領投,Greycroft、Madrona等機構跟投,估值飆升至3億美元。這個速度讓前a16z高管Jon Turow驚嘆:"世界上最難突破的不是數據或算力,而是推理能力的瓶頸。"前OpenAI高管William Fedus則認為,數學作為可驗證環境,為AI發展提供了理想試驗場。
創始人Carina Hong的學術履歷同樣耀眼。這位在廣州長大的中美混血學者,是斯坦福數學博士與法學院雙修生,曾獲羅德獎學金在牛津大學攻讀神經科學碩士,本科期間就在MIT主修數學物理雙學位并發表9篇論文。2023年,她斬獲全球數學本科生最高榮譽——摩根獎。在X平臺發布的宣傳視頻中,這位24歲的CEO宣稱:"我們正在構建能自我改進的超級智能推理系統,起點是AI數學家。"
面對OpenAI和谷歌DeepMind在數學基準測試中的競爭,Carina Hong表現出獨特見解。她認為國際數學奧林匹克競賽等測試容易被"刷分",無法體現真正的研究能力。Axiom Math選擇另辟蹊徑,專注訓練能發現并解決全新數學問題的模型,其技術路線是將教科書、論文中的數學知識轉化為程序化形式,通過嚴格驗證確保解答正確性。
這家成立不到一年的公司已展現驚人潛力。B Capital在官方博客中稱贊Carina"以驚人速度組建起人才密度極高的團隊"。隨著meta等科技巨頭持續流失關鍵AI人才,Axiom Math憑借獨特的學術使命和研發氛圍,正在成為頂尖技術人才的新選擇。











