5 ms·
Even Lean has bugs. > AI "Proves" Collatz Conjecture with Lean 4 Bug https://news.ycombinator.com/item?id=49101465 https://news.ycombinator.com/item?id=491014
by AlexErrant 2mo ago
Even Lean has bugs.
> AI "Proves" Collatz Conjecture with Lean 4 Bug
https://news.ycombinator.com/item?id=49101465 https://news.ycombinator.com/item?id=49101465
- drdrey 2mo agoof course it does, but it's still the best thing we have