Axiom

公司

用Lean语言对AI推理过程进行形式化验证的AI独角兽公司，估值16亿美元

1 次提及7 个连接首次出现: 2026-03-30最近出现: 2026-03-30

关系图谱

关系 (7)

就职于 (3)

Ken Ono Shubho Sengupta Francois Charton

使用 (3)

融资迁移学习竞赛

创立 (1)

相关文章 (1)