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

2 points | by jryan49 an hour ago

No comments yet