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).

• 03:49, 15 July 2024 Sligocki talk contribs created page BB(3,3) (Created page with "The 3-state, 3-symbol Busy Beaver problem '''BB(3,3)''' is unsolved. With the discovery of Bigfoot in 2023, we now know that we must solve a Collatz-like problem in order to solve BB(3,3) and thus [https://www.sligocki.com/2023/10/16/bb-3-3-is-hard.html BB(3,3) is Hard]. The current BB(3,3) champion {{TM|0RB2LA1RA_1LA2RB1RC_1RZ1LB1LC}} was discovered by Terry and Shawn Ligocki in 2007, proving the lower bounds: <math display="block">\begin{arr...")