AI "proves" Collatz conjecture with Lean 4 bug
Read the original at twitter.com→Original headline: "AI "Proves" Collatz Conjecture with Lean 4 Bug"
Coverage timeline
- Jul 29, 18:50 UTC Hacker News (AI) lead source AI "Proves" Collatz Conjecture with Lean 4 Bug