T twitter.com AI "Proves" Collatz Conjecture with Lean 4 Bug 14 points pfdietz 3 months ago 5 comments
