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

(twitter.com)

4 points | by jryan49 5 hours ago ago

No comments yet.