Axiom is building the foundation for verified reasoning

Founded in 2025, Axiom unites AI, programming languages, and mathematics into a single system for discovery. Based in San Francisco.

Mathematical discovery enables us to comprehend every complex system, from the human brain to the universe. Throughout human history, every mathematical tool has amplified the scale and speed of subsequent discoveries.

AI presents a historic inflection point: where mathematical discoveries can unfold at exponential scale and exhilarating speed. We stand at the threshold of a mathematical renaissance.

This renaissance rests on three pillars: AI, programming languages and mathematics. Mathematicians collaborating with AI generate ideas at previously unimaginable scales and speed. Programming languages transform abstract concepts into testable reality. Together, they create a flywheel of discoveries: each breakthrough accelerating the next.

We are assembling, for the first time, a team with mastery across all three domains. These are pioneers who have used AI to shatter barriers in once-impenetrable fields: the architect of synchronous training at scale, the visionary who brought AI to code generation, and the trailblazer who applied Transformers to solve century-old mathematical conjectures.

The future of mathematical discovery begins here.

Selected press

Meet The Stanford Dropout Building An AI To Solve Math’s Hardest Problems—And Create Harder Ones
Axiom Math, which has recruited top talent from Meta, has raised $64 million in seed funding to build an AI math whiz.
forbes

A.I. Writes Buggy Code. A Silicon Valley Start-Up Wants to Fix It.
Valued at $1.6 billion, a tiny start-up called Axiom is building A.I. systems that can check for mistakes.
New York Times