1RB---0RB0LA2RA 2LB2LA3RA4LB0LB: Difference between revisions
Jump to navigation
Jump to search
init |
Added Categories and introduction sentence |
||
| Line 1: | Line 1: | ||
{{machine|1RB---0RB0LA2RA_2LB2LA3RA4LB0LB}} | |||
{{TM|1RB---0RB0LA2RA_2LB2LA3RA4LB0LB}} is a [[BB(2,5)]] [[holdout]] TM. | |||
Rules were given by mxdys, see https://discord.com/channels/960643023006490684/1354037062830919690/1354037062830919690 | 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 | 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... | which also has a weak probabilistic argument for nonhalting. To be continued with better LLMs... | ||
[[Category:BB(2,5)]] | |||
Latest revision as of 18:02, 24 April 2026
1RB---0RB0LA2RA_2LB2LA3RA4LB0LB (bbch) is a BB(2,5) holdout TM.
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...