AI "Proves" Collatz Conjecture with Lean 4 Bug

(twitter.com) by pfdietz | Jul 29, 2026 | 0 comments on HN