TMBR: June 2026: Difference between revisions
Jump to navigation
Jump to search
m →BB Adjacent: Updated BB(2,7) enumeration |
m →Holdouts: Updated BB(2,7) enumeration |
||
| Line 12: | Line 12: | ||
**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> | ||
*[[BB(2,7)]] | *[[BB(2,7)]] | ||
**Terry Ligocki enumerated | **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. | ||
[[Category:This Month in Beaver Research|2026-06]] | [[Category:This Month in Beaver Research|2026-06]] | ||
Revision as of 05:35, 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