Comment Comment by AlexErrant Even Lean has bugs.> AI "Proves" Collatz Conjecture with Lean 4 Bughttps://news.ycombinator.com/item?id=49101465 parent AlexErrant 3 months ago
> AI "Proves" Collatz Conjecture with Lean 4 Bug
https://news.ycombinator.com/item?id=49101465