AI systematically finds counterexamples to major mathematical conjectures · Digg