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 target
Editorial intelligence brief
Editorial focus
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
Editorially verified updates
What changed
Released AXLE 1.5 in July 2026, following AxiomProver's reported 12-of-12 result on the 2025 Putnam problems.
External coverage of Axiom Math
Selected by relevance, date and publisher; grouped by story. External reporting is not independently verified by the map. Article dates are publisher timestamps supplied by the discovery feed; quieter profiles may show coverage up to 90 days old.
Last checked Oct 18, 2026.
No eligible recent coverage found. Verified updates and profile sources remain available above and below.
Source-backed financial history
Funding and financial history
Funding, valuation, revenue, and debt are kept separate so unlike measurements are never presented as one trend.
Records
1
Sum of recorded funding
$200M
Coverage
partial
Partial history: earlier or intervening rounds may be missing. The sum covers only the announcements recorded here, not lifetime funding. Announced commitments may be paid over time; this is not a cash balance. Dates show announcements or first public reports, which can follow the investment itself.
One funding announcement recorded. More dated rounds are needed to show funding over time.
#1
Funding round · $200M
Running tracked total: $200M
#1
Funding round · $200M
Running tracked total: $200M
Sources and details for every recorded funding announcement, newest first.
Axios ↗ source for Funding round $200M
Product surface
Products and model families
Recent models
AxiomProverAXLE 1.5
Products
AXLEAxiomProver
Open weights
No
API access
No
Review target
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.