TechAxiom Math aims to keep AI slop out of mathematics
With unchecked proofs flooding mathematics, Axiom Math is betting on verification. The startup says its AI agents have formally verified the Stacks Project, one of the field’s largest libraries.
T
TechCrunch★★☆☆☆2026-11-05 16:16Original
Axiom Math aims to keep AI slop out of mathematics
Tech