TMBR: August 2026: Difference between revisions

From BusyBeaverWiki
Jump to navigation Jump to search
Tlonuqbar (talk | contribs)
new list
Tjligocki (talk | contribs)
m Holdouts: Update BB(2,7) enumeration
Line 19: Line 19:
** Later, mxdys [https://discordapp.com/channels/960643023006490684/1239205785913790465/1543436534831906926 released] another holdouts list of '''1,003''' machines up to equivalence.
** Later, mxdys [https://discordapp.com/channels/960643023006490684/1239205785913790465/1543436534831906926 released] another holdouts list of '''1,003''' machines up to equivalence.
*[[BB(2,7)]]:
*[[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.
**Terry Ligocki enumerated 130K more subtasks, increasing the number of holdouts to '''2,587,752,107'''. A total of 830K subtasks out of the 1 million subtasks (or '''83%''') have been enumerated.


[[Category:This Month in Beaver Research|2026-08]]
[[Category:This Month in Beaver Research|2026-08]]

Revision as of 00:17, 1 September 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 lists.
    • Later, mxdys released another holdouts list of 1,003 machines up to equivalence.
  • BB(2,7):
    • Terry Ligocki enumerated 130K more subtasks, increasing the number of holdouts to 2,587,752,107. A total of 830K subtasks out of the 1 million subtasks (or 83%) have been enumerated.