在斯坦福大學附近的Verve Coffee Roasters咖啡館里，一場改變科技版圖的對話悄然展開。2024年秋季，數學博士生Carina Hong與前meta AI研究員Shubho Sengupta就人工智能突破數學邊界的可能性展開深入探討，這場數小時的頭腦風暴最終催生出估值3億美元的AI數學公司Axiom Math。
這位同時攻讀斯坦福數學博士與法學博士的天才少女，在完成與Sengupta的對話后，毅然從象牙塔走向創業戰場。Axiom Math的核心理念是將數學教材、學術論文中的知識轉化為可驗證的程序，通過構建自我改進的超級智能推理系統，最終實現AI自主提出數學猜想的目標。公司成立短短數月便完成6400萬美元種子輪融資，由B Capital領投，估值突破3億美元大關。
團隊陣容堪稱AI領域"全明星"：CTO Shubho Sengupta曾主導meta FAIR團隊的OpenGo與CrypTen開發，擁有Google Brain分布式訓練系統研發經驗，更是CUDA早期開發者；數學發現負責人Fran?ois Charton在2019年便開創性地將Transformer應用于復雜數學問題，近期剛推翻一個流傳30年的數學猜想；研究科學家Hugh Leather則是深度學習代碼生成的先驅，打造出首個編譯器大語言模型。
這家初創公司的會議室以高斯、阿達·洛夫萊斯等數學巨匠命名，營造出獨特的學術氛圍。前OpenAI高管William Fedus指出，數學作為可驗證的研究環境，為AI突破提供了理想試驗場。盡管面臨OpenAI、DeepMind等巨頭的競爭壓力，Axiom Math選擇避開基準測試的"刷分"游戲，專注開發能解決全新數學問題的模型。
創始人Carina Hong的學術履歷堪稱傳奇：這位廣州長大的中美混血學者，本科階段在麻省理工學院完成數學與物理雙學位，發表9篇同行評審論文，2023年斬獲全球數學本科生最高榮譽摩根獎；作為羅德學者在牛津大學獲得神經科學碩士學位后，又在斯坦福同時攻讀數學博士與法學博士，并獲得騎士-亨內西獎學金資助。
在meta以天價薪資爭奪AI人才的背景下，Axiom Math憑借"用AI推動數學發現"的使命吸引了大批頂尖研究者。核心團隊成員Aram Markosyan曾負責meta的安全與公平性研究，他表示公司對數學AI的專注態度是吸引他的關鍵因素。這種將學術理想置于商業利益之上的價值觀，正在重塑科技行業的人才流動格局。
