TMBR: January 2026: Difference between revisions
Jump to navigation
Jump to search
RobinCodes (talk | contribs) →Holdouts: Added Alistaire's simulation results |
RobinCodes (talk | contribs) Added Uniform-Action Busy Beaver |
||
| Line 4: | Line 4: | ||
This is the first edition of TMBR in 2026. | This is the first edition of TMBR in 2026. | ||
== BB Adjacent == | |||
* [https://discord.com/channels/960643023006490684/1458010522967609425/1458010522967609425 Uniform-Action Busy Beavers] were introduced, and lower bounds have been given up to BBu(6) (with BBu(3)=17) | |||
== Holdouts == | == Holdouts == | ||
Revision as of 16:39, 7 January 2026
| Prev: December 2025 | This Month in Beaver Research | Next: February 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).
This is the first edition of TMBR in 2026.
BB Adjacent
- Uniform-Action Busy Beavers were introduced, and lower bounds have been given up to BBu(6) (with BBu(3)=17)
Holdouts
- BB(6): 2 solved machines.
- Progress has been made in reducing the list of machines not simulated up to 1e13, by Alistaire: see spreadsheet. Current count: 238. (Total reduction: 40. 38 machines[1][2][3][4][5][6][7][8][9][10][11][12][13][11 more][4 more][10 more] simulated out, plus 2 solved machines).
- Alistaire found a halting machine in the list mentioned above, see Discord. Approximate score: 4e12. Later, he found another halting machine in the same list, see Discord - approximate score: 1.5e18.