AI数学证明公司Axiom获2亿美元A轮，5个月估值从3亿飙至16亿，Menlo Ventures领投

据 1M AI News 监测，AI 数学推理公司 Axiom 宣布完成 2 亿美元 A 轮融资，Menlo Ventures 领投，投后估值 16 亿美元。这距其 2025 年 10 月 B Capital 领投的 6400 万美元种子轮（估值 3 亿）仅过去约 5 个月，估值增长逾 5 倍。

Axiom 由罗德学者、MIT 毕业生 Carina Hong 于 2025 年 3 月创立，她为此放弃了斯坦福法学/博士双学位项目。公司核心产品 AxiomProver 是一个自主 AI 定理证明系统，能逐步推导出数学上严格且可验证的证明。AxiomProver 在 2025 年 12 月的 Putnam 竞赛（世界最难的大学数学考试）中满分解决全部 12 道题（其中 8 道在考试时间内完成），并已自主证明了此前未解的数学猜想。

Axiom 被归类为「新型实验室」（neolab），即研究驱动型 AI 创业公司，聚焦 OpenAI、Anthropic 等大型实验室忽视的垂直领域和新方法。公司的中期目标是将形式化验证能力从数学扩展到硬件和软件代码验证——即用数学证明的方式证明代码是正确的，而非仅靠测试。这直接回应了当前 AI 生成代码无法被严格验证的核心痛点。