3 comments

[ 3.1 ms ] story [ 19.6 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)