Axiom Math used AI agents to turn the huge Stacks Project into computer-checked proofs. The company hopes this verified math will give AI agents a reliable base for future discoveries and software. It believes reusable, checked knowledge can help prevent AI from producing unreliable work.
ORIGINAL LINK: https://techcrunch.com/2026/11/05/axiom-math-wants-to-keep-ai-slop-out-of-mathematics/
