Axiom develops a "Verified AI" approach that combines formal mathematics and artificial intelligence to generate and then mathematically verify outputs such as code and scientific claims. The company aims to automate the two-step discovery process of hypothesis generation followed by formal proof to reduce incorrect or unreliable outputs from generative AI. Axiom plans to extend verification beyond pure mathematics into software development and other technical fields that require validated outputs. Its stated goal is to tighten the generation-and-verification loop so AI systems produce more reliable results and accelerate technical breakthroughs. The company will use the newly raised capital to expand its team and speed development of its verification technology. Financially, Axiom completed a $200 million Series A at a valuation above $1.6 billion, with both new and existing investors participating.

Total raised

$264M

Funding rounds

2

Latest round

Series A

Latest activity

Mar 2026