Axiom is building an AI mathematical reasoning engine using post-training techniques that understands formal logic and creates verifiable knowledge.