TMBR: October 2026

From BusyBeaverWiki
Revision as of 13:03, 3 October 2026 by Yves30. (talk | contribs) (add link to last solved 2x5 holdout)
Jump to navigation Jump to search
Prev: September 2026 This Month in Beaver Research Next: November 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). This Month in Beaver Research for October 2026.

BB Adjacent

Register Machine:

  • On 1 October, sheep discovered a 12-state, 2-register machine which halts iff 7 converges to 1 under the Collatz-like 5n+1 map, thus showing that MBB(12, 2) is hard.[1]
  • On the same day, @-d enumerated MBB(8), which left 7,891 holdouts after reduction, or 404 holdouts if an ai-created decider is used.[2]
  • On the same day, @mineralli discovered a family of champions for MBB(n, 1).[3]
  • On 2 October, @mineralli discovered a new champion for MBB(10, 2).[4]
  • On the same day, sheep discovered 2 new tetrational champions for MBB(10).[5][6]

Misc

  • On 1 October, dyuan shared a subset of BB(6) holdouts, consisting of 24 machines which are expected to be easily analyzable by longitudinal analysis.[7]

Holdouts

  • BB(2,5)
    • On October 2, prurq used Aristotle AI to solve another one of the remaining holdouts, reducing the unofficial count to 38 out of initially 60 Rocq-proven.[8]