As AI floods math with unchecked proofs, Axiom Math is betting on verification. The startup’s AI agents just formally verified the Stacks Project, one of the field’s biggest libraries.
<iframe src="https://statesidedaily.com/embed/cluster/5fe38e8d89429b83df60e17717d9919510a9344f" width="100%" height="320" style="border:0;max-width:680px" loading="lazy" title="Axiom Math wants to keep AI slop out of mathematics"></iframe>
As AI floods math with unchecked proofs, Axiom Math is betting on verification. The startup’s AI agents just formally verified the Stacks Project, one of the field’s biggest libraries.
