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

 (infosec.exchange)

14 points | by YeGoblynQueenne 10 hours ago ago

1 comments