Theme
Private companyVertical + EnterpriseResearch

Axiom Math

Axiom 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.

HQ

New York, US

Founded

2024

Region

North America

Current snapshot

Lifecycle position

Research

New work, prototypes, or early papers.

Current position

Preview

Selective access, early demos, or limited pilots.

Growth

Repeatable distribution, partnerships, or ecosystem pull.

Deployment

Wide production use and durable market presence.

Founded

2024

Watch cadence

Weekly

Last verified

2026-03-31

Focus

Formal reasoning systems for theorem proving and mathematical research

Latest move

Positioning math-native reasoning as a wedge into high-trust scientific and technical workflows, with AXLE emerging as a notable tool in the stack.

Category and subcategory context

Academic + NonprofitResearchSafety

Competitive context

DeepMindOpenAIHarvey

Recent models

AxiomProverformal reasoning engineproof systems

Products

AXLE

Open weights

No

API access

No

Watch level

Weekly

Signals

MathFormal reasoningResearch-first

Current financial value

Estimated private valuation around $300M from late-2025 reporting.

Recent coverage of Axiom Math

Recent business and product coverage pulled into the profile so you can see what is happening around the company without leaving the page.