TMBR: December 2025

Prev: November 2025

This Month in Beaver Research

Next: January 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 Year in Beaver Research _{(TYBR - "Thank You Beaver Researchers!")}

Holdouts Reductions.

• BB(6) - Reduced from 3571 to 1416 holdouts. Hence, 2155 machines were solved this year. This is a 60% reduction.

New Methods.

TODO

Meta.

TODO

BB Adjacent.

TODO

BB Adjacent

TODO. Register machines, General Recursive Functions.

Holdouts

• BB(6):
  • There are 14 holdouts left to simulate up to 1e12 steps, and 312 to simulate up to 1e13 steps^[1]. The two lists can be found here.
• BB(3,4):
  • TODO: Phase 2 stage 8.
• BB(2,7):
  • Terry Ligocki enumerated 10K more subtasks, increasing the number of holdouts to 150,662,006 and making 50K of the 1 million subtasks enumerated. (5/100)