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.

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

Math AI startup Axiom Math gets algorithm-generated proofs into peer-reviewed journals

Math AI startup Axiom Math gets algorithm-generated proofs into peer-reviewed journals Crypto Briefing

Crypto Briefing•May 26

Axiom Math's Carina Hong Explains How She Attracts Top AI Talent

Axiom Math's Carina Hong Explains How She Attracts Top AI Talent Business Insider

Business Insider•Apr 16

Axiom Math's Carina Hong weighs in on the AI talent wars and the advantage of working at a neolab

Axiom Math's Carina Hong weighs in on the AI talent wars and the advantage of working at a neolab Business Insider

Business Insider•Apr 14

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

Axiom Math Raises $64M in Seed Funding

Axiom Math Raises $64M in Seed Funding FinSMEs

FinSMEs•Oct 1