Axiommath Axiom is building an AI reasoning engine for mathematical discovery using formal verification, autoformalization, and proof systems such as Lean.