TMBR: August 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 18: | Line 18: | ||
** 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. | ** 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 | **Terry Ligocki enumerated 100K more subtasks, increasing the number of holdouts to '''2,499,145,299'''. A total of 800K subtasks out of the 1 million subtasks (or '''80%''') have been enumerated. | ||
[[Category:This Month in Beaver Research|2026-08]] | [[Category:This Month in Beaver Research|2026-08]] | ||
Revision as of 20:20, 24 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
TODO: Pebble Automaton
TODO: Wang Tiles
TODO: SKI Calculus
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 100K more subtasks, increasing the number of holdouts to 2,499,145,299. A total of 800K subtasks out of the 1 million subtasks (or 80%) have been enumerated.