AI "proves" Collatz conjecture with Lean 4 bug
Read the original at twitter.com→Original headline: "Lean 4 Bug Found Incidentally by AI, "Proving" Collatz"
Coverage timeline
- Jul 30, 11:29 UTC Hacker News (AI) lead source Lean 4 Bug Found Incidentally by AI, "Proving" Collatz
- Jul 30, 14:26 UTC Hacker News (AI) AI-generated, Lean-verified proof of Collatz conjecture exploits Lean kernel bug