Lean 4 Bug Found Incidentally by AI, "Proving" Collatz

4 points | by jryan49 5 hours ago