= Busy Beaver Challenge
{c}
= The Busy Beaver Challenge
{synonym}
https://bbchallenge.org/story
Project trying to compute <BB(5)> once and for all. Notably it has better presentation and organization than any other previous effort, and appears to have grouped everyone who cares about the topic as of the early 2020s.
Very cool initiative!
By 2023, they had basically decided every machine: https://discuss.bbchallenge.org/t/the-30-to-34-ctl-holdouts-from-bb-5/141
In June 2024 they felt that they had verified the result after a full <Coq> proof was published:
* https://www.quantamagazine.org/amateur-mathematicians-find-fifth-busy-beaver-turing-machine-20240702/
* https://discuss.bbchallenge.org/t/july-2nd-2024-we-have-proved-bb-5-47-176-870/237
So now onto <BB(6)> I guess.
Back to article page