Axiom Math

Axiom Math AI is building a self-improving AI mathematician that can verify its own reasoning using Lean formal language. The company aims to create verifiable mathematical reasoning you can trust, focusing on rigorous, checkable proofs rather than just outputs. Primary customers are researchers and industries requiring formal verification and trustworthy AI in high-stakes contexts.