Funding round · $200M
$200M raised at a reported $1.6B valuation.
Vertical + Enterprise · Private company · Research
Axiom Math
✓ VerifiedAxiom Math is pursuing formal mathematical reasoning as a wedge into high-trust technical workflows, aiming to build systems that reason with proofs rather than generic language-model imitation.
New York, USFounded 2024No public API trackedWeekly review
Editorial intelligence brief
What matters now
Released AXLE 1.5 in July 2026, following AxiomProver's reported 12-of-12 result on the 2025 Putnam problems.
Focus: AI-assisted formal mathematics, proof verification, and theorem proving
Latest funding
$200M
Funding round · source-backed
Tracked funding
$200M
Sum of itemized funding events
Latest valuation
$1.6B
Reported valuation
Latest revenue
Not tracked
Research lifecycle position
Source-backed financial history
Capital and commercial trajectory
Funding, valuation, revenue, and debt are kept separate so unlike measurements are never presented as one trend.
Records
1
Tracked total
$200M
Coverage
partial
#1
Funding round · $200M
Running tracked total: $200M
Every numbered chart marker maps to one source-linked funding announcement below.
Axios ↗ source for Funding round $200M
Chronological activity
What changed
Released AXLE 1.5 in July 2026, following AxiomProver's reported 12-of-12 result on the 2025 Putnam problems.
A structured event record is still being assembled for this company.
Recent coverage of Axiom Math
Consolidated by storyProduct surface
Products and model families
Recent models
AxiomProverAXLE 1.5
Products
AXLEAxiomProver
Open weights
No
API access
No
Review cadence
Weekly
Market position
Lifecycle and strategic signals
Research
Preview
Growth
Deployment
Research: Early research & prototypes
Focus
AI-assisted formal mathematics, proof verification, and theorem proving
Signals
MathFormal reasoningResearch-first
Taxonomy
Academic + NonprofitResearchSafety
Competitive context
DeepMindOpenAIHarvey
Infrastructure & distribution
Where Axiom Math sits in the AI stack
01
Model layer
2 tracked model families
02
Access layer
Application or managed product
03
Market layer
Vertical + Enterprise
Public product surface
AXLEAxiomProver
Stack signals
ResearchSafetyMathFormal reasoningResearch-first
This section reflects publicly visible product and access signals. Undisclosed GPU, cloud, training, and data-center contracts are not inferred.
Evidence trail
Sources and corrections
Primary and public sources used to verify the structured company profile.
The Staticbreaker
Get the signal behind the week's AI changes.
The Staticbreaker turns launches, category shifts, and market noise into a concise editorial briefing.