“Axiom's core thesis is that an AI mathematician can be generalized to serve as a verifier for other logical domains, such as software code.”