TMBR: August 2026: Difference between revisions
Jump to navigation
Jump to search
m →Holdouts: Removed a few colons in the "Holdouts" section for consistency with previous months. |
m increased accessibility |
||
| Line 7: | Line 7: | ||
* [[TT|TT (Terminating Turmites)]] | * [[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 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 | ** On August 8, Discord user creeperman7002 discovered a new step champion for TT(3,3), <code>1PB0TC1PA_2PC1PZ2PA_2TC0PA2PC</code>, running for 2.27 × 10<sup>248</sup> steps. | ||
TODO: [[Pebble Automaton]] | TODO: [[Pebble Automaton]] | ||
Revision as of 05:51, 28 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 2.27 × 10248 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.