● AgentsNov 5, 2026 · 23:161 source
Axiom Math wants to keep AI slop out of mathematics
From techcrunch.com
AI;DR
Axiom Math is working to prevent unverified AI-generated mathematical proofs from entering the field by using AI agents to formally verify the Stacks Project, one of the largest libraries in mathematics.
Read originalSign in to suggest