Forum:Distributed project on BB(5)

Last time I explored remaining 5-state undecided TMs to be halting, using the force of computer program. We can sufficiently accelerate that process if we should do it together. Anyone interested in improving the bound for \(\Sigma(5)\)? Ikosarakt1 (talk ^ contribs) 16:57, September 7, 2013 (UTC)