TMBR: August 2025

This Month in Beaver Research for August 2025.

Cryptids

• Shawn Ligocki simulated 1RB1RA_0RC1RC_1LD0LF_0LE1LE_1RA0LB_---0LC (bbch) out to one additional Collatz reset.

BB Adjacent

• John Tromp introduced the $BB{\lambda }_1(n)$ function for Busy Beaver for lambda calculus with an oracle and computed it up to $BB{\lambda }_1(22)$.
• Instruction-Limited Greedy Busy Beaver gBBi(n) and an Instruction-Limited variant of the Blanking Busy Beaver (BLBi(n)) were introduced. gBBi(n) was computed up to n = 13 and BLBi(n) was computed up to n = 7.