How much has Axiom raised in total?

Axiom has raised a total of $200M across 1 funding round.

Who are Axiom's investors?

Axiom's investors include Undisclosed.

Axiom

Develops verified AI systems that generate formally proven code outputs to reduce hallucinations and security risks in AI-built software.

AI Security

Code Verification

Total Raised

$200M

Last Valuation

$1.0B

Website

Overview

Axiom Quant Inc. is building “verified AI” for software generation, training AI systems to produce formally verified outputs in Lean, a programming language used for mathematical proofs. The company targets organizations adopting AI-generated code where correctness, safety and security are critical. Its differentiator is a proof-based approach intended to address the probabilistic nature of LLM coding tools, which can produce plausible but unsafe outputs. Axiom raised a $200 million Series A led by Menlo Ventures at a reported $1.6 billion valuation.

Funding History

1 round · Mar 2026

$200M

Total Raised

Valuation: $1.0B

Cumulative: $200M

Verifiable AI startup Axiom raises $200M to prove AI-generated code is safe to use

Investors not disclosed

Source

Frequently Asked Questions

How much has Axiom raised in total?: Axiom has raised a total of $200M across 1 funding round.
Who are Axiom's investors?: Axiom's investors include Undisclosed.
What does Axiom do?: Axiom Quant Inc. is building “verified AI” for software generation, training AI systems to produce formally verified outputs in Lean, a programming language used for mathematical proofs. The company targets organizations adopting AI-generated code where correctness, safety and security are critical. Its differentiator is a proof-based approach intended to address the probabilistic nature of LLM coding tools, which can produce plausible but unsafe outputs. Axiom raised a $200 million Series A led by Menlo Ventures at a reported $1.6 billion valuation.

Investors

Undisclosed

1 round(s)

Related Insights

ChipAgents: How a $250M AI Developer Tools Pioneer Is Reshaping the Industry

A comprehensive analysis of ChipAgents's funding history, investors, competitive position, and growth trajectory in the AI Developer Tools space.

AI Funding by Sector: Where the Money Goes in 2026

A data-driven analysis of AI funding across all 17 sectors — from Foundation Models to AI Healthcare — with sector totals, deal counts, top companies, and investment trends for 2026.

Axiom: How a $1.0B AI Security Pioneer Is Reshaping the Industry

A comprehensive analysis of Axiom's funding history, investors, competitive position, and growth trajectory in the AI Security space.