Machine-written · ai
Axiom Math wants to keep AI slop out of mathematics
TechCrunch reports that the startup's AI agents have formally verified the Stacks Project, one of the field's biggest libraries.
Axiom Math is betting on verification as artificial intelligence floods mathematics with unchecked proofs, according to TechCrunch.
The startup's AI agents have formally verified the Stacks Project, which TechCrunch describes as one of the field's biggest libraries.
The outlet's headline says Axiom Math wants to keep "AI slop" out of mathematics.