1RB---0RB0LA2RA 2LB2LA3RA4LB0LB

From BusyBeaverWiki

Revision as of 11:24, 17 April 2026 by DrDisentangle (talk | contribs) (init)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

Rules were given by mxdys, see https://discord.com/channels/960643023006490684/1354037062830919690/1354037062830919690

Rules proved and nonhalting proof attempted by DrDisentangle, see https://github.com/rwst/bbchallenge/tree/main/1RB---0RB0LA2RA_2LB2LA3RA4LB0LB which also has a weak probabilistic argument for nonhalting. To be continued with better LLMs...

Retrieved from "https://wiki.bbchallenge.org/w/index.php?title=1RB---0RB0LA2RA_2LB2LA3RA4LB0LB&oldid=7199"