TMBR: June 2026

Prev: May 2026

This Month in Beaver Research

Next: July 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

• Busy Beaver for Lambda Calculus: TODO: BBλ(39) solved

Holdouts

• BB(6)
  • mxdys solved two TMs with FAR.^[1][2]
• BB(2,6)
  • Andrew Ducharme reduced the number of holdouts from 413,513 to 412,086, a 0.35% reduction.^[3]
• BB(2,7)
  • Terry Ligocki enumerated 60K more subtasks, increasing the number of holdouts to 1,275,732,5771. A total of 410K subtasks out of the 1 million subtasks (or 41%) have been enumerated.