-
日期: 2025-10-03 | 來源: 新智元 | 有0人參與評論 | 字體: 小 中 大
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年的猜想。- 新聞來源於其它媒體，內容不代表本站立場！
-
原文鏈接
原文鏈接:
目前還沒有人發表評論, 大家都在期待您的高見