Axiom Math wants to keep AI slop out of mathematics
Axiom Math is addressing the influx of unverified AI-generated mathematical proofs by focusing on formal verification. Their AI agents have successfully verified the Stacks Project, a significant library in the mathematics field, showcasing the potential for reliable AI applications in this domain.