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.

New York, US

Founded

2024

Region

North America

Website

https://axiom.co

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

API access

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.

Scaling AI Beyond Informal: Axiom Math's Carina Hong

Scaling AI Beyond Informal: Axiom Math's Carina Hong StartupHub.ai

StartupHub.ai•Jun 3

Math AI startup Axiom Math claims algorithm-generated proofs in peer-reviewed journals

Math AI startup Axiom Math claims algorithm-generated proofs in peer-reviewed journals Crypto Briefing

Crypto Briefing•May 26

The Weekly Notable Startup Funding Report: 3/16/26

The Weekly Notable Startup Funding Report: 3/16/26 AlleyWatch

AlleyWatch•Mar 16

Who is Carina Hong, the 24-year-old MIT graduate who built Axiom Math?

Who is Carina Hong, the 24-year-old MIT graduate who built Axiom Math? IDNFinancials.com

IDNFinancials.com•Dec 25

These 16 AI startup founders have collectively raised over $100M — and they're all under 27

These 16 AI startup founders have collectively raised over $100M — and they're all under 27 Business Insider

Business Insider•Dec 11

At 24, she raised 400 million, from Guangzhou

At 24, she raised 400 million, from Guangzhou Binance

Binance•Oct 7