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

4 pointsposted 5 hours ago
by jryan49
(twitter.com)

No comments yet