Products & ServicesEvent: September 3, 2026
Axiom Math formalized Youness Lamzouri's machine-checked certificate in Lean
Published
Signal category
Products & Services
Quote
“We were fortunate to formalize it in Lean”
— Ken Ono|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