TMBR: March 2026

Prev: February 2026

This Month in Beaver Research

Next: April 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 March 2026. We celebrated bbchallenge's fourth birthday on 8 March. This month was quite a substantial month in Beaver research, as after more than 200 days, the last 3 informally solved BB(3,3) holdouts were formalised by mxdys in Rocq.

TODO: Write a proper introductory paragraph.

Champions

• Discord user 50_ft_lock found a new BB(13) champion which surpasses Graham's number, reducing the upper bound of Graham-beating TMs to 13 states.

Meta

• Famous math Youtuber 2swap made a couple of videos about Turing Machines arranged into grids and colored based on their halting status for BB(2,2), BB(3,2), BB(2,3), BB(4,2) and BB(5,2) respectively, then made a two-hour long Youtube video about the same topic on their second channel.

BB Adjacent

• Fractran: In BBf(21), Claude Opus 4.6 gave a proof that all 140 holdouts do not halt. This tentatively proves that BBf(21) = 31,957,632.
• Fractran: A Cryptid was discovered in BBf(22) with the help of Claude Opus 4.6.

Holdouts

• BB(6): 1e14 machines: 171. 1e15 machines: 237. 12 solved machines. TODO: Update
  • Holdouts lists for machines not simulated to 1e14 and 1e15 steps were created. The holdouts list counts were 178 and 252 respectively. See Spreadsheet for BB6.
  • Later, prurq found 10 more machines in the holdouts list that had previously been simulated to 1e15: thus the new 1e15 holdout count was 242.
  • Andrew Ducharme solved two machines using FAR.
  • prurq found two machines [1][2] to be Translated Cyclers. Shawn Ligocki verified one of them and discovered its preperiod to be over $10^{12}$ steps. mxdys verified the other. Both were 1e14 and 1e15 holdouts, thus reducing those holdout counts by 2.
  • mxdys found four more [3][4] Translated Cyclers in the remaining holdouts and solved one more TM using FAR.
  • Andrew Ducharme solved a machine using FAR. This machine was a 1e14 and 1e15 holdout, thus reducing those holdout counts by 1.
  • prurq found 3 more machines previously simulated so far in the 1e14 list, and 2 more in the 1e15 list (both were also 1e14). This means 1e14 holdout count was reduced by 3, and 1e15 holdout count was reduced by 2.
  • Discord user mammillaria simulated a 1e14 holdout thus far, therefore reducing that holdout count by 1.
  • prurq found a machine to be a Translated Cycler.
  • mxdys decided a machine using FAR.
  • mxdys released a new holdout list of 1161 machines.
• BB(7):
  • Andrew Ducharme reduced the number of holdouts from 18,195,192 to 18,036,852 (a 0.87% reduction) via the mxdys FAR decider.
• BB(2,5):
  • Peacemaker II solved a machine using FAR and mxdys confirmed two[5][6] machines to be non-halting. Thus, the new holdout count is 69, or 60 considering informal proofs.
• BB(3,3):
  • mxdys formalised three remaining informal results (650, 412, 279) into Rocq.