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.