-
日期: 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年的猜想。- 新闻来源于其它媒体，内容不代表本站立场！
-
原文链接
原文链接:
目前还没有人发表评论, 大家都在期待您的高见