TMBR: September 2026: Difference between revisions
Jump to navigation
Jump to search
m →Holdouts: Update BB(2,7) enumeration |
BB(6): Space Needle extended to 100,000,000 terms (independent computation, September 2026) + step-count laws |
||
| Line 11: | Line 11: | ||
** By September 4, mxdys solved all 16 Counter Class 1 TMs.<sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1545487019218698290] | ** By September 4, mxdys solved all 16 Counter Class 1 TMs.<sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1545487019218698290] | ||
** 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> | ||
** On September 14, an independent computation by Seiji extended the [[Space Needle]] trajectory to '''100,000,000''' terms: no power of 2 was ever encountered, and the most factors of 2 any term had was '''25''' (first occurring at n = 23,145,881; the previously documented state was >17,000,000 terms with max 24). The full final value (94,125,050 bits) is published with SHA-256 anchors, together with 400 checkpoints cross-verified by two independent implementations, and exact macro step-count laws of the machine (L0–L4; L1 and L3 formally proven). <sup>[https://github.com/oohzaim1-afk/space-needle-100M]</sup> | |||
* [[BB(2,7)]] | * [[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. | ** 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. | ||
Revision as of 17:49, 16 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]
- On September 14, an independent computation by Seiji extended the Space Needle trajectory to 100,000,000 terms: no power of 2 was ever encountered, and the most factors of 2 any term had was 25 (first occurring at n = 23,145,881; the previously documented state was >17,000,000 terms with max 24). The full final value (94,125,050 bits) is published with SHA-256 anchors, together with 400 checkpoints cross-verified by two independent implementations, and exact macro step-count laws of the machine (L0–L4; L1 and L3 formally proven). [4]
- 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 .[5]