Map / Core AI / Frontier Labs / Axiom Math

Axiom Math

AI lab building a verified mathematical reasoning engine on Lean

OrganizationAI for Science LabsReleases open weights

Products by Axiom Math

AXLEHosted Lean engine for verifying and editing math proofsKnowledge Discovery
AxplorerOpen-source tool that trains models to find mathematical constructionsKnowledge Discovery

People mark and rate products, not organizations. Open a product to say you use it.

About

Axiom Math is a San Francisco AI lab working on an automated mathematician. It trains its own models for formal theorem proving in the Lean language; its AxiomProver system produced verified Lean solutions to Putnam 2025 and IMO 2026 problems and to open conjectures. Its public tools are the AXLE proof-verification service and the open-source Axplorer.