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

(twitter.com) by jryan49 | Jul 30, 2026 | 0 comments on HN