AI "Proves" Collatz Conjecture with Lean 4 Bug
By pfdietz · 2026-07-29 · 8 points · 4 comments
https://twitter.com/gro_tsen/status/2082483878480977959
By pfdietz · 8 points · 4 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews