TMBR: June 2026: Difference between revisions
Jump to navigation
Jump to search
m →Holdouts: Updated BB(2,7) enumeration |
→Holdouts: updated BB(6) progress |
||
| Line 8: | Line 8: | ||
== Holdouts == | == Holdouts == | ||
*[[BB(6)]] | *[[BB(6)]] | ||
**mxdys solved | **mxdys solved four TMs with FAR.<sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1512100325673271407][https://discord.com/channels/960643023006490684/1239205785913790465/1512309665244123239][https://discord.com/channels/960643023006490684/1239205785913790465/1513904347422134374][https://discord.com/channels/960643023006490684/1239205785913790465/1516821341678866523]</sup> | ||
**prurq solved another four TMs with FAR.<sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1513898370606039080][https://discord.com/channels/960643023006490684/1239205785913790465/1515998682053345320][https://discord.com/channels/960643023006490684/1239205785913790465/1516787722537140345]</sup> | |||
** A TM was [https://discord.com/channels/960643023006490684/1239205785913790465/1515209217106251827 shown to be non-halting] by hipparcos, which was later [https://discord.com/channels/960643023006490684/1239205785913790465/1516464297407021086 confirmed in Rocq] by mxdys. | |||
*[[BB(2,6)]] | *[[BB(2,6)]] | ||
**Andrew Ducharme reduced the number of holdouts from 413,513 to '''412,086''', a '''0.35%''' reduction.<sup>[https://discord.com/channels/960643023006490684/1084047886494470185/1512386039933698128]</sup> | **Andrew Ducharme reduced the number of holdouts from 413,513 to '''412,086''', a '''0.35%''' reduction.<sup>[https://discord.com/channels/960643023006490684/1084047886494470185/1512386039933698128]</sup> | ||
Revision as of 12:46, 19 June 2026
| Prev: May 2026 | This Month in Beaver Research | Next: July 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
- Busy Beaver for Lambda Calculus: TODO: BBλ(39) solved
Holdouts
- BB(6)
- mxdys solved four TMs with FAR.[1][2][3][4]
- prurq solved another four TMs with FAR.[5][6][7]
- A TM was shown to be non-halting by hipparcos, which was later confirmed in Rocq by mxdys.
- BB(2,6)
- Andrew Ducharme reduced the number of holdouts from 413,513 to 412,086, a 0.35% reduction.[8]
- BB(2,7)
- Terry Ligocki enumerated 90K more subtasks, increasing the number of holdouts to 1,365,555,784. A total of 440K subtasks out of the 1 million subtasks (or 44%) have been enumerated.