TMBR: September 2026: Difference between revisions

From BusyBeaverWiki
Jump to navigation Jump to search
← Older editNewer edit →
VisualWikitext
Change name to XnoobSpeakable.
Tjligocki (talk | contribs)
410 edits
m →Holdouts: Update BB(2,7) enumeration
Line 12: Line 12:
** On September 4, Discord user fifi_49513 claimed to have proven a TM non-halting. <sup>[https://discord.com/channels/960643023006490684/1545543031468462150/1545543031468462150]</sup> This machine was later confirmed non-halting in Rocq on September 5 by mxdys. <sup>[https://discord.com/channels/960643023006490684/1545543031468462150/1545682001481175095]</sup>
** On September 4, Discord user fifi_49513 claimed to have proven a TM non-halting. <sup>[https://discord.com/channels/960643023006490684/1545543031468462150/1545543031468462150]</sup> This machine was later confirmed non-halting in Rocq on September 5 by mxdys. <sup>[https://discord.com/channels/960643023006490684/1545543031468462150/1545682001481175095]</sup>
* [[BB(2,7)]]
* [[BB(2,7)]]
** Terry Ligocki enumerated 10K more subtasks, increasing the number of holdouts to '''2,677,730,602'''. A total of 860K subtasks out of the 1 million subtasks (or '''86%''') have been enumerated.
** Terry Ligocki enumerated 20K more subtasks, increasing the number of holdouts to '''2,713,007,927'''. A total of 870K subtasks out of the 1 million subtasks (or '''87%''') have been enumerated.


== Misc ==
== Misc ==
* On September 5, [[User:XnoobSpeakable|XnoobSpeakable]] began an opt-in archival project of the bbchallenge Discord server<sup>[[Category:This Month in Beaver Research|2026-09]].<sup>[https://discord.com/channels/960643023006490684/960643023530762341/1545742987710038088]
* On September 5, [[User:XnoobSpeakable|XnoobSpeakable]] began an opt-in archival project of the bbchallenge Discord server<sup>[[Category:This Month in Beaver Research|2026-09]] .<sup>[https://discord.com/channels/960643023006490684/960643023530762341/1545742987710038088]

Revision as of 20:57, 8 September 2026

Prev: August 2026 This Month in Beaver Research Next: October 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: Cyclic Tag

Holdouts

  • BB(6)
    • By September 4, mxdys solved all 16 Counter Class 1 TMs.[1]
    • On September 4, Discord user fifi_49513 claimed to have proven a TM non-halting. [2] This machine was later confirmed non-halting in Rocq on September 5 by mxdys. [3]
  • BB(2,7)
    • Terry Ligocki enumerated 20K more subtasks, increasing the number of holdouts to 2,713,007,927. A total of 870K subtasks out of the 1 million subtasks (or 87%) have been enumerated.

Misc

  • On September 5, XnoobSpeakable began an opt-in archival project of the bbchallenge Discord server .[4]
Retrieved from "https://wiki.bbchallenge.org/w/index.php?title=TMBR:_September_2026&oldid=8450"