TMBR: July 2026: Difference between revisions
Jump to navigation
Jump to search
Added solved BB(6) holdouts |
Added new SK calculus champions |
||
| Line 2: | Line 2: | ||
''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 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#SK calculus|SK Calculus]]: | |||
* New champions were discovered for BB<sub>SK</sub>(12) and BB<sub>SK</sub>(13). | |||
== Holdouts == | == Holdouts == | ||
Revision as of 16:09, 3 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
- New champions were discovered for BBSK(12) and BBSK(13).
Holdouts
- BB(6):
- 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 10K more subtasks, increasing the number of holdouts to 1,651,063,346. A total of 530K subtasks out of the 1 million subtasks (or 53%) have been enumerated.