The Collatz conjecture was false [video]

1 comments

• ykonstant 9 hours ago

  A good reminder that soundness bugs in trusted kernels are not merely a theoretical consideration.