Latest News topics - The Busy Beaver Challenge

Topic	Replies	Views	Activity
[July 2nd 2024] We have proved "BB(5) = 47,176,870" BB(5) = 47,176,870 We are extremely happy to announce that, after two years of intense collaboration, the goal of the Busy Beaver Challenge has been reached: the conjecture “BB(5) = 47,176,870” is proved. Exceeding our …	1	37683	July 2, 2024
About the News category	0	411	April 1, 2022
[May 2nd 2024] Releasing bouncers: only 2,833 machines to go!	2	2885	July 2, 2024
[April 9th 2023] 503,169 new machines have been decided! Only 32,632 left to go!	5	3083	May 2, 2024
[December 25th 2022] 1,002,823 new machines have been decided!	2	1038	April 9, 2023
[October 2nd 2022] Bug in backward reasoning, back to 3,574,222 machines	6	653	December 25, 2022
[May 13th 2022] Backward resoning has been debugged!	0	746	May 13, 2022
[July 16th 2022] Standard text format for TMs and 2 deciders in review	0	1058	July 16, 2022
[April 5th 2022] Discord Server	3	965	April 9, 2023
[April 2nd 2022] Explore mode!	0	481	April 2, 2022
[April 1st 2022] Bug in backward reasoning & new git repo for undecided index	0	678	April 1, 2022

[July 2nd 2024] We have proved "BB(5) = 47,176,870"

BB(5) = 47,176,870 We are extremely happy to announce that, after two years of intense collaboration, the goal of the Busy Beaver Challenge has been reached: the conjecture “BB(5) = 47,176,870” is proved. Exceeding our …