“Axiom's AI system uses the formal language Lean to ground its natural language processing capabilities, combining deterministic tooling with probabilistic systems.”