TMBR: September 2026

Prev: August 2026

This Month in Beaver Research

Next: October 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: Cyclic Tag

Holdouts

• BB(6)
  • By September 4, mxdys solved all 16 Counter Class 1 TMs.^[1]
  • On September 4, Discord user fifi_49513 claimed to have proven a TM non-halting. ^[2] This machine was later confirmed non-halting in Rocq on September 5 by mxdys. ^[3]
• BB(2,7)
  • Terry Ligocki enumerated 10K more subtasks, increasing the number of holdouts to 2,677,730,602. A total of 860K subtasks out of the 1 million subtasks (or 86%) have been enumerated.

Misc

• On September 5, XnoobSpeakable began an opt-in archival project of the bbchallenge Discord server^.[4]