The Collatz conjecture was false [video]
youtube.com
The Collatz conjecture was false [video]
1–2 of 2 posts
Re: The Collatz conjecture was false [video]
#2A good reminder that soundness bugs in trusted kernels are not merely a theoretical consideration.