Tag: proof-assistants
SoftwareJul 21, 2026
AI tools are turning up mathematical counterexamples faster than humans can check them
A mathematician’s account describes Lean-based autoformalization systems finding and verifying counterexamples in real time, from geometry to algebraic geometry.