Hacker News new | ask | show | jobs
Lean 4 Bug Found Incidentally by AI, "Proving" Collatz (twitter.com)
4 points by jryan49 2 days ago