TMBR: August 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 × 10²⁴⁸ steps.

• Pebble Automaton
  • On August 8-9, AlephSquirrel and Sheep found champions 1-5.
  • On August 10, Deccy found champions 6-7.
  • On August 13, mathmasterzach found the peBBle(8) champion, and the previous peBBle(9) champion which ran for 323 steps.
  • On August 16, AlephSquirrel proved the peBBle(4) champion to be optimal, and on the following day 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.