All public logs

Combined display of all available logs of BusyBeaverWiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 19:32, 16 May 2025 Sligocki talk contribs created page BB(7) (Created page with "The 7-state, 2-symbol Busy Beaver problem '''BB(7)''' is a mostly unexplored domain with only preliminary information. The current BB(7) champion is {{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}} discovered by Pavel Kropitz in 2025 proving the lower bound:<math display="block">S(7) > \Sigma(7) > 2 \uparrow^{11} 2 \uparrow^{11} 3</math> == History == Before 2025, the only known BB(7) champions were produced by hand, not by search. Example, Milton Green designed...") Tag: Visual edit