- Specialization
- Not classified
- Business
- Not classified
- Market
- Scientific Research
- Ecosystem
- Applications
- Customers
Researchersand 1 more customers valuesLess
- Enterprises
More details
- Organization type
- Commercial Company
- Ecosystem
- Applications
- Business
- Not classified
- Specialization
- Not classified
- Market
- Scientific Research
- Customers
- Researchers, Enterprises
- Delivery models
- Not classified
- Revenue models
- Subscription
- Listing status
- Not classified
- Latest equity round
- Series A
- Reported funding amount
- Not classified
About
Axiom Math builds AI systems for solving complex mathematical problems and producing formally verified proofs. It serves researchers, mathematicians, academic institutions, research organizations, and analytical industries; its differentiator is translating natural-language problems into formal proof structures that automated proof-checking tools can verify.
Market
Axiom competes in the AI-mathematician and formal-verification market, where reasoning systems use proof assistants to solve mathematical problems and generate machine-checkable proofs, with an adjacent opportunity in trustworthy AI and verified code. Its differentiation is an AI mathematician designed not merely to answer problems but to generate new conjectures, formalize them in Lean or Coq, and improve through a conjecture–prove–verify loop rather than relying only on probabilistic answers.
Axiom’s best-fit customers are academic institutions, research organizations, and technically demanding R&D teams in areas such as trading, chip design, cryptography, and finance. Primary users and buyers include mathematicians, researchers, data scientists, and engineering or security teams, with offerings ranging from individual-researcher use to large research institutions.
At a Glance
Problem
Axiom Math is tackling the reliability gap in AI-generated mathematics and code. General-purpose AI systems can produce plausible but incorrect answers, proofs, or programs; in high-stakes technical settings, users need outputs that are mathematically rigorous, verifiable, secure, and accurate. The company’s stated opportunity is especially relevant to quantitative finance, where complex mathematical reasoning and trustworthy code can have substantial commercial value.
The main use case is an AI mathematician that can solve difficult mathematical questions while producing detailed proofs, and can help verify AI-generated code or mathematical reasoning before it is used. The precise customer economics, pricing, and cost savings are not disclosed, but available reporting characterizes Axiom as pre-revenue and points to quantitative-finance customers as its initial commercial opportunity.
Product / Service
Axiom Math describes its product as a cloud-based reasoning engine and AI mathematician. It is intended to reason through complex mathematical problems, generate detailed proofs, and provide a verification layer that reduces the risk of hallucinated or unsafe AI outputs. Its broader “verified AI” approach is aimed at making AI-generated code and mathematical work trustworthy enough for demanding technical workflows.
The company has also released AXLE, a public set of proof-verification and proof-manipulation primitives used in its research and AI-model training, alongside a playground and API documentation. This suggests a cloud and developer-tooling delivery model, although the available evidence does not specify commercial packaging, pricing, service-level commitments, or whether the core mathematician is generally available to customers.
Market
Axiom competes in the emerging AI-for-mathematics and verifiable-AI categories, with an apparent beachhead in quantitative finance and adjacent technical software markets. The research corpus does not identify named direct competitors; the relevant comparison set is therefore broader mathematical-reasoning, automated-proof, and AI-code-verification tooling rather than a confirmed list of rival companies.
Axiom has substantial financing and early public technical activity despite being pre-revenue. It raised a reported $64 million seed round in October 2025 led by B Capital, and later reporting described a $200 million Series A at a valuation of about $1.6 billion; another report put the valuation at $1.5 billion after a February 2026 round. The company has also made AXLE public and maintains an engineering presence, but no customer revenue or customer-count data is disclosed.
Founders & Leadership
Funding History
B Capital
Menlo Ventures
Recent News
Axiom Math publicly announced a new result on bounded gaps between primes, claiming infinitely many pairs of primes separated by 212 or less. The result was published in a preliminary draft dated September 3, 2026.
Axiom Math announced that AxiomProver completed a machine-checkable formalization of the BGP246 theorem, which establishes a bound of 246 for recurring small gaps between primes, conditional on the Bombieri–Vinogradov theorem. The company also released the Lean formalization and PrimeGapsLib, an open reusable library for the Lean community.
Funding records list Axiom Math's seed round at $64 million, with Greycroft, Madrona, B Capital, and Menlo Ventures among the named investors.
Active Roles
2Business Model
Axiom Math is described as using a subscription-based model with tiered pricing, offering access to its AI mathematician and ongoing updates. Plans are intended to serve individual researchers through large institutions, with premium tiers potentially adding computational capacity and priority support.
Products
Tech Stack
Similar Companies
Competitors
Key Investors
B Capital, Greycroft, Madrona, Menlo Ventures