TMBR: August 2026: Difference between revisions
Jump to navigation
Jump to search
Added TT as TODO |
m →Holdouts: Update BB(2,7) enumeration |
||
| Line 9: | Line 9: | ||
* [[BB(6)]]: | * [[BB(6)]]: | ||
** prurq found two machines to halt: one after <math>6.00\times 10^{1\,542}</math> steps, the other after <math>1.53\times 10^{699}</math> steps.<sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1533572940459675791][https://discord.com/channels/960643023006490684/1239205785913790465/1533837709452251227]</sup> | ** prurq found two machines to halt: one after <math>6.00\times 10^{1\,542}</math> steps, the other after <math>1.53\times 10^{699}</math> steps.<sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1533572940459675791][https://discord.com/channels/960643023006490684/1239205785913790465/1533837709452251227]</sup> | ||
*[[BB(2,7)]]: | |||
**Terry Ligocki enumerated 10K more subtasks, increasing the number of holdouts to '''2,220,170,257'''. A total of 710K subtasks out of the 1 million subtasks (or '''71%''') have been enumerated. | |||
[[Category:This Month in Beaver Research|2026-08]] | [[Category:This Month in Beaver Research|2026-08]] | ||
Revision as of 19:44, 3 August 2026
| Prev: July 2026 | This Month in Beaver Research | Next: September 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
TODO: TT