# Axiom

> Axiom (Axiom Math) is a Palo Alto-based AI lab building a self-improving, superintelligent reasoner - starting with an AI mathematician. Its AxiomProver system invents new theorems, proves them formally in Lean, and verifies them before they reach a human, aiming to give AI the one thing language models lack: provable correctness. Founded in 2025 by mathematician Carina Hong, the company has raised $264M and claims machine-generated proofs accepted by peer-reviewed journals.

- **Founded:** 2025
- **Headquarters:** Palo Alto, California, United States
- **Founders:** Carina Hong (Founder & CEO)
- **Team size:** ~32 employees
- **Products:** AxiomProver, AXLE
- **Notable:** Raised $264M total funding ($64M seed + $200M Series A) reaching a $1.6B valuation within roughly a year of founding., AxiomProver solved at least four previously unsolved mathematical problems, including Fel's Conjecture, connected to the work of Ramanujan., Solved a 130-year-old mathematical problem and disproved a 30-year-old conjecture (work led by team member Francois Charton).

## Products & services

- **AxiomProver** — An AI system that generates conjectures, proves mathematical results, and auto-formalizes them so each proof is machine-verifiable in the Lean proof language before a human reviews it.
- **AXLE** — Axiom's reasoning platform and developer playground (axle.axiommath.ai) for testing proof verification, extracting theorems, and experimenting with proof transformations, with an API for builders.

## Achievements

- Raised $264M total funding ($64M seed + $200M Series A) reaching a $1.6B valuation within roughly a year of founding.
- AxiomProver solved at least four previously unsolved mathematical problems, including Fel's Conjecture, connected to the work of Ramanujan.
- Solved a 130-year-old mathematical problem and disproved a 30-year-old conjecture (work led by team member Francois Charton).
- Machine-generated, Lean-verified proofs reported as accepted by multiple peer-reviewed journals.
- Verified an economics proof taught for ~50 years that had never been formally proven (reported by Fortune).
- Assembled a founding team including ex-Meta FAIR researchers and a former VP of the American Mathematical Society.

## Latest updates

- **2026-06** — Fortune reports AxiomProver formally verified an economics proof taught for ~50 years that had never actually been proven.
- **2026-03** — Closed a $200M Series A led by Menlo Ventures at a $1.6B valuation; total funding reaches $264M.
- **2026-02** — Posted algorithm-generated proofs to arXiv; proofs later reported accepted by peer-reviewed journals after Lean verification.
- **2025-10** — Emerged from stealth with a $64M seed round led by B Capital at a $300M valuation.

## Links

- Website: https://axiommath.ai
- LinkedIn: https://www.linkedin.com/company/axiommath
- Twitter/X: https://x.com/CarinaLHong
- YouTube: https://www.youtube.com/watch?v=3_U-v_3jgmE

---

Profile page: https://yespress.io/axiom
Published by YesPress — https://yespress.io
Last updated: 2026-06-16