Axiom Math

AI research company combining post-training reasoning with formal verification (Lean) to build mathematical superintelligence as a pathway to verified AI systems