TMBR: August 2026: Difference between revisions
Jump to navigation
Jump to search
m →Holdouts: Update BB(2,7) enumeration |
→Holdouts: Added new holdouts list |
||
| Line 10: | Line 10: | ||
** prurq found three machines to halt.<sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1533572940459675791][https://discord.com/channels/960643023006490684/1239205785913790465/1533837709452251227][https://discord.com/channels/960643023006490684/1239205785913790465/1533889409332674763]</sup> | ** prurq found three machines to halt.<sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1533572940459675791][https://discord.com/channels/960643023006490684/1239205785913790465/1533837709452251227][https://discord.com/channels/960643023006490684/1239205785913790465/1533889409332674763]</sup> | ||
** q64 [https://discord.com/channels/960643023006490684/1239205785913790465/1534370964350042263 simulated another TM] to halt. | ** q64 [https://discord.com/channels/960643023006490684/1239205785913790465/1534370964350042263 simulated another TM] to halt. | ||
** mxdys [https://discord.com/channels/960643023006490684/1239205785913790465/1538109685033607198 released] a new holdouts list of '''1,016''' machines up to equivalence, this is a '''4.51%''' reduction compared to the previous holdouts list. | |||
*[[BB(2,7)]]: | *[[BB(2,7)]]: | ||
**Terry Ligocki enumerated 40K more subtasks, increasing the number of holdouts to '''2,311,169,711'''. A total of 740K subtasks out of the 1 million subtasks (or '''74%''') have been enumerated. | **Terry Ligocki enumerated 40K more subtasks, increasing the number of holdouts to '''2,311,169,711'''. A total of 740K subtasks out of the 1 million subtasks (or '''74%''') have been enumerated. | ||
[[Category:This Month in Beaver Research|2026-08]] | [[Category:This Month in Beaver Research|2026-08]] | ||
Revision as of 10:39, 15 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
Holdouts
- BB(6):
- prurq found three machines to halt.[1][2][3]
- q64 simulated another TM to halt.
- mxdys released a new holdouts list of 1,016 machines up to equivalence, this is a 4.51% reduction compared to the previous holdouts list.
- BB(2,7):
- Terry Ligocki enumerated 40K more subtasks, increasing the number of holdouts to 2,311,169,711. A total of 740K subtasks out of the 1 million subtasks (or 74%) have been enumerated.