创始人
Hong Letong
估值
16亿美元（2026年3月A轮融资后）
融资情况
2026年3月完成2亿美元A轮融资（Andreessen Horowitz、Tiger Global、Sequoia Capital联合领投）
核心产品
Axiom Proof Engine（可验证数学推理引擎）、Axiom Studio（AI科研写作与公式生成平台）、Axiom Code（形式化编程生成）
公司介绍
聚焦高可靠性AIGC，以数学可验证性重构AI内容生成底层范式，已在数学证明、科研论文辅助、芯片RTL生成等领域建立技术护城河。
发展里程碑
2024年11月成立于斯坦福校园
2025年6月在Putnam数学竞赛中实现12题全对
2025年12月开源Axiom Core推理框架
2026年1月与MIT数学系共建AIGC可信实验室
2026年3月发布Axiom Studio公测版，支持LaTeX+自然语言混合输入生成学术图表与推导过程