TMBR: July 2026: Difference between revisions
Jump to navigation
Jump to search
→Holdouts: Updated BB(4,3) |
Added TODO |
||
| Line 7: | Line 7: | ||
* A new champion was discovered for Ξ₀(12). | * A new champion was discovered for Ξ₀(12). | ||
* New champions were discovered for Ξ₀_SK(12), Ξ₀_SK(13), Ξ₀_SK(14), Ξ₀_SK(15), Ξ₀_SK(16) and Ξ₀_SK(17). | * New champions were discovered for Ξ₀_SK(12), Ξ₀_SK(13), Ξ₀_SK(14), Ξ₀_SK(15), Ξ₀_SK(16) and Ξ₀_SK(17). | ||
TODO: update | |||
[[Lambda Calculus]]: | [[Lambda Calculus]]: | ||
* [https://discord.com/channels/960643023006490684/1355653587824283678/1528855324881326181 BBλ(40) was solved] on 20 July, showing that BBλ(40) <math>\approx 10\uparrow\uparrow\uparrow 16</math>. BBλ(40) is the first solved domain in any BB variant to reach pentational values. | * [https://discord.com/channels/960643023006490684/1355653587824283678/1528855324881326181 BBλ(40) was solved] on 20 July, showing that BBλ(40) <math>\approx 10\uparrow\uparrow\uparrow 16</math>. BBλ(40) is the first solved domain in any BB variant to reach pentational values. | ||
Revision as of 15:50, 28 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
- A new champion was discovered for Ξ₀(12).
- New champions were discovered for Ξ₀_SK(12), Ξ₀_SK(13), Ξ₀_SK(14), Ξ₀_SK(15), Ξ₀_SK(16) and Ξ₀_SK(17).
TODO: update Lambda Calculus:
- BBλ(40) was solved on 20 July, showing that BBλ(40) . BBλ(40) is the first solved domain in any BB variant to reach pentational values.
TODO: Post Tag System
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):
- BB(2,7):
- Terry Ligocki enumerated 140K more subtasks, increasing the number of holdouts to 2,061,161,825. A total of 660K subtasks out of the 1 million subtasks (or 66%) have been enumerated.