TMBR: July 2026: Difference between revisions
Jump to navigation
Jump to search
Created page with "{{TMBRnav|June 2026|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).'' == Holdouts == * BB(4,3): ** 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]</su..." |
Added solved BB(6) holdouts |
||
| Line 4: | Line 4: | ||
== Holdouts == | == Holdouts == | ||
* [[BB(6)]]: | |||
** mxdys solved three holdouts in rocq.<sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1522010493529751604][https://discord.com/channels/960643023006490684/1239205785913790465/1522209150699044904]</sup> | |||
* [[BB(4,3)]]: | * [[BB(4,3)]]: | ||
** 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> | ||
Revision as of 15:09, 2 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).
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.