斯坦福天才少女退學創業，Meta AI大牛排隊加入
來源：倍可親(backchina.com)
2024年，斯坦福博士生Carina Hong與前Meta AI研究員的一次數小時對話，讓她毅然輟學投身於打造「AI數學家」的夢想，創辦Axiom Math並吸引到來自Meta等公司的頂尖AI人才加盟。Axiom Math首輪融資6400萬美元后估值3億美元。
一次咖啡館中的談話，誕生了一家估值3億美元的創業公司！
2024年，仍為斯坦福大學博士生的Carina Hong與前Meta的AI研究員Shubho Sengupta有過一次數小時的交談。
在那次交談中二人探討了如何用AI來解決數學領域的難題。
這次談話不久，Carina Hong選擇從斯坦福退學創辦了Axiom Math，目標是打造「AI數學家」，而Sengupta也加入了這家新創辦的公司擔任CTO。
近日，Carina Hong在X平台上發布了Axiom的宣傳視頻，稱「我們正在打造一個能夠自我改進的超級智能推理系統，起點是一個AI數學家。」
a16z前高管、投資人Jon Turow在Carina Hong的推文下留言祝賀：
「世界上最難的問題，不是數據或算力，而是推理本身的瓶頸。」
前OpenAI高管William Fedus認為數學是一個極好的可驗證環境，他對於Axiom的快速進展十分樂觀。
B Capital將24歲的Carina Hong稱作一個「推動數學超級智能的人」。
2025年3月Carina Hong創立Axiom Math並擔任CEO，Axiom Math核心員工中大多數來自Meta
一次談話，點燃創業夢想
2024年秋，仍在斯坦福大學攻讀博士的Carina Hong在學校附近的Verve Coffee Roasters咖啡館，偶然遇到了前Meta的AI研究員Shubho Sengupta，當時Sengupta正在研究能編寫軟體測試的大語言模型。
兩人聊得十分投機。
在數小時的談話中，他們共同探討了AI是否有可能解決世界上最難的數學問題。
那次談話后不久，Carina Hong便從斯坦福退學，創辦了Axiom Math，立志打造一款「AI數學家」。
在Carina Hong看來，數學是打造超級智能的完美試驗場。
Axiom Math的理念是將教科書、論文和期刊里的英文數學內容轉化為程序化知識，這樣AI不僅可以解決複雜的數學問題，還能通過嚴格驗證來檢驗解答。
未來，Carina Hong希望「AI數學家」甚至能夠提出全新的數學猜想。
據Axiom官網顯示，該公司使命是「從AI數學家起步，打造自我改進的超級智能推理器」。
估值3億美元，Meta大牛排隊加入
Axiom Math成立短短几個月，便已完成了6400萬美元的種子輪融資：由B Capital領投，Greycroft、Madrona和Menlo Ventures等風投參與。
融資后，Axiom Math估值已達3億美元。
B Capital的官方博客文章中，將Carina Hong稱作一個「推動數學超級智能的人」，並稱讚她「以驚人的速度組建了一支人才密度極高的創始團隊。」
Axiom Math的核心成員中，如Shubho、François Charton、Aram H. Markosyan均來自Meta。
Shubho Sengupta
Shubho Sengupta目前擔任Axiom Math CTO，前文提到正是他與Carina Hong的一席談話，促使了後者創辦Axiom Math的想法。
Shubho Sengupta曾帶領Meta FAIR團隊開發OpenGo和CrypTen。
此前，他還參與了Google Brain關於分散式訓練系統的研發。Shubho Sengupta還是最早一批CUDA開發者。
François Charton
早在2019年，François Charton已經率先探索Transformer在複雜數學問題上的應用，最近更是解決了一個延續百年的公開問題，推翻了一個流傳30年的猜想。
François Charton表示，他將在Axiom Math負責數學發現：如何將AI應用於實際研究問題，而不是像數學奧林匹克那樣將其用於已經解決的問題。
Hugh Leather
Hugh Leather在Axiom Math擔任研究科學家。
Hugh Leather是最早將深度學習應用於代碼生成的先驅之一，曾打造首個用於編譯器和GPU代碼生成的大語言模型。
Aram Markosyan
Aram Markosyan是一位曾負責Meta安全與公平性研究的AI科學家。
不到一年時間，Carina Hong為初創公司吸引到了上述一批資深科技老將。
就在Meta重金攬才的同時，也在持續流失關鍵AI人才。
Axiom Math核心團隊的組建，正值Meta豪擲上億美元薪資挖角OpenAI等前沿實驗室人才的同時。
而Axiom吸引這些頂級AI研究員的，正是它的使命——用人工智慧推動數學發現。
在Axiom的辦公室里，經常可以感受到這樣的氛圍，它的會議室都是以數學與計算領域的巨匠命名，比如高斯（Carl Friedrich Gauss）和阿達·洛夫萊斯（Ada Lovelace）。
Charton認為，Axiom是一家真正認真對待數學AI的公司，而不是把它當成副業，這點對他來說非常重要。
這反映出頂尖學者更看重研究使命與學術氛圍，而非單純的資源或薪資。
「摩根獎」獲得者
來自廣州的天才女生
Carina Hong的個人履歷同樣引人矚目。
Carina Hong是一位中美混合背景的學者，她在中國廣州長大，從小酷愛數學。
她是斯坦福大學數學系博士生，同時也是斯坦福大學法學院法律博士在讀，獲騎士-亨內西獎學金資助。
在此之前，她曾作為羅德學者就讀於牛津大學赫特福德學院，獲得神經科學碩士學位；她還在倫敦大學學院賽恩斯伯里威康中心的蓋茨比研究所從事深度學習研究。
Carina Hong本科就讀於麻省理工學院（MIT），主修數學與物理雙學位，期間在同行評審期刊上發表了9篇論文。
2023年，Carina Hong獲得了本科數學最高獎項——Frank and Brennie Morgan獎（摩根獎），該獎項是全球數學本科生的最高榮譽。
儘管Axiom的發展迅速，但它同樣正面臨強勁的競爭。
今年7月，OpenAI和谷歌DeepMind都曾宣布旗下大模型在國際數學奧林匹克競賽（IMO）中達到金牌水平。
然而在Carina Hong看來，這類基準測試很容易被「刷分」，並不代表真正的研究級數學能力。
目前，Axiom的重點是訓練能發現並解決新數學問題的模型。
但在數學之外Axiom也看到了更廣泛的應用前景。
未來它的研究應用也將擴展到金融建模、晶元架構、量化交易等更多領域。