AI-generated, Lean-verified proof of Collatz conjecture exploits Lean kernel bug

(infosec.exchange) by YeGoblynQueenne | Jul 30, 2026 | 0 comments on HN