TMBR: August 2026: Difference between revisions

From BusyBeaverWiki
Jump to navigation Jump to search
← Older edit
VisualWikitext
Polygon (talk | contribs)
2,147 edits
Added TT as TODO
Tjligocki (talk | contribs)
397 edits
m →Holdouts: Update BB(2,7) enumeration
 
(11 intermediate revisions by 3 users not shown)
Line 5: Line 5:
== BB Adjacent ==
== BB Adjacent ==
TODO: [[TT]]
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"