Axiom Math
Building artificial intelligence systems for automated mathematical reasoning and formal verification.
Axiom Math is a developer tools company, founded in 2025. It has raised $200 million in disclosed funding. Its latest round was a Series A of $200 million in November 2026.
Overview
Axiom Math is a research-focused organization developing artificial intelligence designed to advance the boundaries of mathematical reasoning [0]. Founded in 2025, the company targets the intersection of formal methods, machine learning, and deep mathematical proof, with current research agendas focusing on topics like the Riemann Hypothesis and the Collatz Conjecture [0]. The company operates as an AI research laboratory, hiring for roles in reinforcement learning, machine learning infrastructure, and specialized mathematical research [1]. The organization raised $200 million in Series A funding to support its development of systems that combine machine intelligence with formal mathematical verification [registry]. The team is currently scaling its technical staff across multiple locations, including an office in Palo Alto [1]. By bridging the gap between rigorous proof and computational intelligence, Axiom Math aims to create tools for high-level reasoning and scientific discovery [0].
Funding
Total disclosed: $200M across 1 round. Computed only from sourced rounds.
| Date | Company | Amount | Stage | Lead | Other investors | Sector | Sources |
|---|---|---|---|---|---|---|---|
| $200M | Series A | Menlo Ventures | — | Developer Tools | 1 |
Investors
Questions and answers
What does Axiom Math do?
Building artificial intelligence systems for automated mathematical reasoning and formal verification.
How much has Axiom Math raised?
Axiom Math has raised $200 million in disclosed funding across 1 round tracked by OSH.
Who has invested in Axiom Math?
Investors in Axiom Math include Menlo Ventures.
When and where was Axiom Math founded?
Axiom Math was founded in 2025.
Timeline
Founded
Sources
- 1.Axiom Math wants to keep AI slop out of mathematics — TechCrunch Startups, Nov 5, 2026
- 2.Axiom Math · Official
- 3.Axiom Math · Official