ParentFull threadAlexErrant·Even Lean has bugs.> AI "Proves" Collatz Conjecture with Lean 4 Bughttps://news.ycombinator.com/item?id=49101465View on HN