BB(2,4)

From BusyBeaverWiki
Revision as of 00:21, 17 August 2024 by ADucharme (talk | contribs) (Initialized the BB(2,4) page, still definitely a WIP)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

BB(2,4) was unofficially found to be 3,932,964 on April 10, 2023 by the bbchallenge project, when deciders made for solving BB(5) eliminated the last BB(2,4) holdouts. The champion was found by Terry and Shawn Ligocki in February 2005. a machine M with s(M) = 3,932,964 and sigma(M) = 2,050.


Work formalizing this result is ongoing.

Retrieved from "https://wiki.bbchallenge.org/w/index.php?title=BB(2,4)&oldid=716"