login sign up

AI "Proves" Collatz Conjecture with Lean 4 Bug

news.ycombinator.com
saved by
0 people
related read on
Declaration — Math and AI related HN threads