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

TODO: TT

TODO: Pebble Automaton

TODO: Wang Tiles

TODO: SKI Calculus

Holdouts

• BB(6):
  • prurq found three machines to halt.^[1][2][3]
  • q64 simulated another TM to halt.
  • mxdys released a new holdouts list of 1,016 machines up to equivalence, this is a 4.51% reduction compared to the previous holdouts list.
• BB(2,7):
  • Terry Ligocki enumerated 100K more subtasks, increasing the number of holdouts to 2,499,145,299. A total of 800K subtasks out of the 1 million subtasks (or 80%) have been enumerated.