TMBR: August 2026: Difference between revisions
Jump to navigation
Jump to search
m →Holdouts: Update BB(2,7) enumeration |
m →Holdouts: Removed a few colons in the "Holdouts" section for consistency with previous months. |
||
| (6 intermediate revisions by 3 users not shown) | |||
| Line 4: | Line 4: | ||
== BB Adjacent == | == BB Adjacent == | ||
* [[TT|TT (Terminating Turmites)]] | |||
** On August 3, Discord user creeperman7002 discovered a new step and score champion for TT(3,3), <code>1PB2PA0PC_2TB1PC2PB_2PB1PZ0PA</code>, running for 715,764,479 steps. | |||
** On August 8, Discord user creeperman7002 discovered a new step champion for TT(3,3), <code>1PB0TC1PA_2PC1PZ2PA_2TC0PA2PC</code>, running for <math>2.27\cdot10^{248}</math> steps. | |||
TODO: [[Pebble Automaton]] | TODO: [[Pebble Automaton]] | ||
| Line 11: | Line 14: | ||
TODO: [[SKI Calculus]] | TODO: [[SKI Calculus]] | ||
TODO: [[Cyclic Tag]] | |||
== Holdouts == | == Holdouts == | ||
* [[BB(6)]] | * [[BB(6)]] | ||
** prurq found three machines to halt.<sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1533572940459675791][https://discord.com/channels/960643023006490684/1239205785913790465/1533837709452251227][https://discord.com/channels/960643023006490684/1239205785913790465/1533889409332674763]</sup> | ** On August 3, prurq found three machines to halt.<sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1533572940459675791][https://discord.com/channels/960643023006490684/1239205785913790465/1533837709452251227][https://discord.com/channels/960643023006490684/1239205785913790465/1533889409332674763]</sup> | ||
** q64 [https://discord.com/channels/960643023006490684/1239205785913790465/1534370964350042263 simulated another TM] to halt. | ** On August 5, q64 [https://discord.com/channels/960643023006490684/1239205785913790465/1534370964350042263 simulated another TM] to halt. | ||
** mxdys [https://discord.com/channels/960643023006490684/1239205785913790465/1538109685033607198 released] a new holdouts list of '''1,016''' machines up to equivalence, this is a '''4.51%''' reduction compared to the previous holdouts list. | ** On August 15, Discord user jacobrschwartz [https://discord.com/channels/960643023006490684/960643023530762341/1538044554286993418 proved another TM] halting. | ||
*[[BB(2,7)]] | ** Later that day, mxdys [https://discord.com/channels/960643023006490684/1239205785913790465/1538109685033607198 released] a new holdouts list of '''1,016''' machines up to equivalence, this is a '''4.51%''' reduction compared to the previous holdouts lists. | ||
**Terry Ligocki enumerated | ** On August 24, Discord user flintt_6 informally [https://discord.com/channels/960643023006490684/1239205785913790465/1541418968806334515 proved another TM] halting. | ||
** On August 26, q64 [https://discord.com/channels/960643023006490684/1239205785913790465/1542210565404098652 proved another TM] halting. | |||
** On August 30, mxdys [https://discordapp.com/channels/960643023006490684/1239205785913790465/1543436534831906926 released] another holdouts list of '''1,003''' machines up to equivalence. | |||
** On August 31, mxdys [https://discord.com/channels/960643023006490684/1239205785913790465/1543878992195620884 released] another holdouts list of '''999''' machines up to equivalence. | |||
*[[BB(2,7)]] | |||
**Terry Ligocki enumerated 150K more subtasks, increasing the number of holdouts to '''2,651,060,579'''. A total of 850K subtasks out of the 1 million subtasks (or '''85%''') have been enumerated. | |||
[[Category:This Month in Beaver Research|2026-08]] | [[Category:This Month in Beaver Research|2026-08]] | ||
Latest revision as of 00:48, 6 September 2026
| Prev: July 2026 | This Month in Beaver Research | Next: September 2026 |
This edition of TMBR is in progress and has not yet been released. Please add any notes you think may be relevant (including in the form a of a TODO with a link to any relevant Discord discussion).
BB Adjacent
- TT (Terminating Turmites)
- On August 3, Discord user creeperman7002 discovered a new step and score champion for TT(3,3),
1PB2PA0PC_2TB1PC2PB_2PB1PZ0PA, running for 715,764,479 steps. - On August 8, Discord user creeperman7002 discovered a new step champion for TT(3,3),
1PB0TC1PA_2PC1PZ2PA_2TC0PA2PC, running for steps.
- On August 3, Discord user creeperman7002 discovered a new step and score champion for TT(3,3),
TODO: Pebble Automaton
TODO: Wang Tiles
TODO: SKI Calculus
TODO: Cyclic Tag
Holdouts
- BB(6)
- On August 3, prurq found three machines to halt.[1][2][3]
- On August 5, q64 simulated another TM to halt.
- On August 15, Discord user jacobrschwartz proved another TM halting.
- Later that day, mxdys released a new holdouts list of 1,016 machines up to equivalence, this is a 4.51% reduction compared to the previous holdouts lists.
- On August 24, Discord user flintt_6 informally proved another TM halting.
- On August 26, q64 proved another TM halting.
- On August 30, mxdys released another holdouts list of 1,003 machines up to equivalence.
- On August 31, mxdys released another holdouts list of 999 machines up to equivalence.
- BB(2,7)
- Terry Ligocki enumerated 150K more subtasks, increasing the number of holdouts to 2,651,060,579. A total of 850K subtasks out of the 1 million subtasks (or 85%) have been enumerated.