TMBR: August 2026: Difference between revisions
Jump to navigation
Jump to search
→BB Adjacent: Pebbl |
|||
| Line 10: | Line 10: | ||
* [[Pebble Automaton]] | * [[Pebble Automaton]] | ||
** On August 8-9, AlephSquirrel and Sheep found champions 1-5. | ** On August 8-9, AlephSquirrel and Sheep found champions 1-5, running for [0, 1, 3, 6, 11] steps. | ||
** On August 10, Deccy found champions 6-7. | ** On August 10, Deccy found champions 6-7, running for [17, 28] steps. | ||
** On August 13, mathmasterzach found the peBBle(8) champion, and the previous peBBle(9) champion which ran for 323 steps. | ** On August 13, mathmasterzach found the peBBle(8) champion, running for 63 steps, and the previous peBBle(9) champion, which ran for 323 steps. | ||
** On August 16, AlephSquirrel proved the peBBle(4) champion to be optimal, | ** On August 16, AlephSquirrel proved the peBBle(4) champion to be optimal. | ||
** On August 17, AlephSquirrel tweaked the peBBle(9) champion to run for 63577 steps. | |||
TODO: [[Wang Tiles]] | TODO: [[Wang Tiles]] | ||
Revision as of 15:20, 3 October 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),
- Pebble Automaton
- On August 8-9, AlephSquirrel and Sheep found champions 1-5, running for [0, 1, 3, 6, 11] steps.
- On August 10, Deccy found champions 6-7, running for [17, 28] steps.
- On August 13, mathmasterzach found the peBBle(8) champion, running for 63 steps, and the previous peBBle(9) champion, which ran for 323 steps.
- On August 16, AlephSquirrel proved the peBBle(4) champion to be optimal.
- On August 17, AlephSquirrel tweaked the peBBle(9) champion to run for 63577 steps.
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.