3 comments

[ 3.3 ms ] story [ 30.1 ms ] thread
(comment deleted)
The problem was called "Antihydra" by discoverers. This could mean that we might never be able to determine BB(6), and that it might be undecidable.
(comment deleted)