Lean 4 Bug Found Incidentally by AI, "Proving" Collatz #1 Post by jryan49 » Thu, Jul 30, 2026, 11:29 AM UTC Lean 4 Bug Found Incidentally by AI, "Proving" Collatztwitter.com