Technology & InfrastructureEvent: September 3, 2026
Axiom Math developed AxiomProver autoformalizing a new proof by Youness Lamzouri in Lean, providing machine-checked verification from day one.
Published
Signal category
Technology & Infrastructure
Quote
“AxiomProver autoformalized it in Lean, providing machine-checked verification along the paper from day one”
— Axiom Math team
Company
Axiom Math
The starting point for reasoning.
- Industry
- Technology, Information and Internet
- Company size
- 61 employees
Building quantitative super-intelligence. We are hiring: careers@axiommath.ai