Axiom是一家人工智能初创企业，由洪乐潼（Carina Hong）创立于2024年，主要面向对冲基金、量化交易公司等金融机构提供基于AI的量化解决方案和“数学即服务” ，其公司使命为“从AI数学家起步，打造自我改进的超级智能推理器” 。其核心技术是开发基于形式数学证明训练的可验证人工智能系统，利用Lean编程语言确保AI推理过程的每一步都可被数学验证；2025年其AxiomProver系统在普特南数学竞赛中取得满分成绩，并使用Lean语言完成了埃尔德什问题集中题目的形式化证明 。
公司起源于2024年洪乐潼与Meta前AI研究总监Shubho Sengupta的交流后辍学创业，核心团队包括CTO Shubho Sengupta（曾任Meta AI研究总监） 、创始数学家Ken Ono和核心科学家François Charton 。2025年完成6400万美元种子轮融资（由B Capital领投） ，投后估值3亿美元；2026年3月完成2亿美元A轮融资（由Menlo Ventures领投） ，投后估值16亿美元，进入独角兽行列。
想要了解更多“Axiom（人工智能初创企业）”的信息，请点击：Axiom（人工智能初创企业）百科
