Axiom

公司

Axiom，致力于用Lean语言对AI推理过程进行形式化验证的AI独角兽公司，2026年融资2亿美元，估值达16亿美元

2 次提及8 个连接首次出现: 2026-03-30最近出现: 2026-06-08

关系图谱

关系 (8)

就职于 (3)

Ken Ono Shubho Sengupta Francois Charton

使用 (3)

融资迁移学习竞赛

创立 (1)

发布 (1)

相关文章 (2)