TMBR: July 2026

Prev: June 2026

This Month in Beaver Research

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

SKI Calculus:

• A new champion was discovered for Ξ₀(12).
• New champions were discovered for Ξ₀_SK(12), Ξ₀_SK(13) and Ξ₀_SK(14).

Holdouts

• BB(6):
  • On 2 July, mxdys solved three holdouts in rocq.^[1][2]
  • On 3 July, mxdys solved another holdout in rocq using an LLM.
• BB(4,3):
  • Andrew Ducharme reduced the number of holdouts from 4,784,443 to 4,776,646, a 0.16% reduction.^[3]
• BB(2,7):
  • Terry Ligocki enumerated 50K more subtasks, increasing the number of holdouts to 1,777,089,104. A total of 570K subtasks out of the 1 million subtasks (or 57%) have been enumerated.