“Axiom's mission is to build a self-improving reasoning engine that combines generation and verification, starting with the domain of mathematics.”