Axiom, a startup focused on building artificial intelligence systems capable of mathematically verifying software and scientific reasoning, announced it has raised $200 million in Series A funding at a valuation exceeding $1.6 billion. The round was led by Menlo Ventures.
The company said the new funding will support continued development of its “Verified AI” approach, which combines advances in formal mathematics and artificial intelligence to prove whether code and other machine-generated outputs are correct. The concept aims to address one of the major challenges with generative AI systems today: their tendency to produce incorrect or unreliable outputs.
Axiom said the investment will accelerate its execution and expand its work applying formal mathematical verification to AI systems. The company’s technology builds on the idea that scientific discovery often follows a two-step process in which researchers formulate hypotheses and then produce formal proofs that validate them. Axiom aims to replicate and automate that process with AI systems capable of generating and verifying knowledge.
According to the company, Verified AI extends this concept beyond mathematics to software development and other technical fields where AI-generated outputs require validation. By tightening the generation-and-verification loop, Axiom believes AI systems could more reliably produce correct software and potentially accelerate breakthroughs across scientific and engineering domains.
The funding round also included participation from existing investors Madrona, Greycroft, B Capital, Toyota Ventures, and Triatomic Capital. The company said the new capital will be used to expand its team and accelerate development of its Verified AI technology.
KEY QUOTES
“We raised $200M fresh capital at a $1.6B+ valuation in a round led by Menlo Ventures to accelerate our strong execution momentum — extending our lead in formal math into Verified AI. Mathematicians and theoretical scientists dream up theories, formulate hypotheses. They then come up with proofs, a two-step process of discovery. We created Axiom to turn the sparks of curiosity into known truths – and to compress the timeline of breakthroughs. The Verified AI dream is a generalization of this dream. It is more than providing safeguards for mission-critical systems. This same gap between expert intuitions and the machinery needed for grounding exists today in any domain where the generation-verification iteration loop can be tighter. And yes, software eats the world, recursive self-improvement is a near sight. Verified AI is not about hallucinations, what’s lousy; instead, it’s about superintelligence, the brilliant.”
Carina Hong (founder and CEO of Axiom)
