TMBR: July 2026: Difference between revisions
Jump to navigation
Jump to search
m →Holdouts: Update BB(2,7) enumeration |
m →Holdouts: Update BB(2,7) enumeration |
||
| Line 14: | Line 14: | ||
** Andrew Ducharme reduced the number of holdouts from 4,784,443 to '''4,776,646''', a '''0.16%''' reduction.<sup>[https://discord.com/channels/960643023006490684/1084047886494470185/1522168741922607164]</sup> | ** Andrew Ducharme reduced the number of holdouts from 4,784,443 to '''4,776,646''', a '''0.16%''' reduction.<sup>[https://discord.com/channels/960643023006490684/1084047886494470185/1522168741922607164]</sup> | ||
*[[BB(2,7)]]: | *[[BB(2,7)]]: | ||
**Terry Ligocki enumerated | **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. | ||
[[Category:This Month in Beaver Research|2026-07]] | [[Category:This Month in Beaver Research|2026-07]] | ||
Revision as of 18:52, 7 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):
- 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.