TMBR: August 2026: Difference between revisions

From BusyBeaverWiki
Jump to navigation Jump to search
← Older edit
VisualWikitext
Polygon (talk | contribs)
2,147 edits
→Holdouts: Updated BB(6)
Tjligocki (talk | contribs)
397 edits
m →Holdouts: Update BB(2,7) enumeration
 
(12 intermediate revisions by 3 users not shown)
Line 2: Line 2:


''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).''
''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 ==
== Holdouts ==
* [[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 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.
** 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 lists.
** Later, mxdys [https://discordapp.com/channels/960643023006490684/1239205785913790465/1543436534831906926 released] another holdouts list of '''1,003''' machines up to equivalence.
*[[BB(2,7)]]:
**Terry Ligocki enumerated 140K more subtasks, increasing the number of holdouts to '''2,615,659,487'''. A total of 840K subtasks out of the 1 million subtasks (or '''84%''') have been enumerated.


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

Latest revision as of 08:39, 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 140K more subtasks, increasing the number of holdouts to 2,615,659,487. A total of 840K subtasks out of the 1 million subtasks (or 84%) have been enumerated.
Retrieved from "https://wiki.bbchallenge.org/w/index.php?title=TMBR:_August_2026&oldid=8406"