AI-generated, Lean-verified proof of Collatz conjecture exploits Lean kernel bug
By YeGoblynQueenne · 2026-07-30 · 9 points · 1 comments
https://infosec.exchange/@0xabad1dea/117002106099986943
By YeGoblynQueenne · 9 points · 1 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews