TMBR: January 2026: Difference between revisions
Jump to navigation
Jump to search
RobinCodes (talk | contribs) Added simulation results by Alistaire plus BB(6) halter |
RobinCodes (talk | contribs) No edit summary |
||
| Line 8: | Line 8: | ||
* [[BB(6)]]: | * [[BB(6)]]: | ||
** Progress has been made in reducing the list of machines not simulated up to 1e13, by Alistaire: see [https://docs.google.com/spreadsheets/d/1mMp8bAcTFT91j7azn72liX8NSTwc2E_ozKnOGTfRCfw/edit?gid=806905077#gid=806905077 spreadsheet]. (Total reduction: | ** Progress has been made in reducing the list of machines not simulated up to 1e13, by Alistaire: see [https://docs.google.com/spreadsheets/d/1mMp8bAcTFT91j7azn72liX8NSTwc2E_ozKnOGTfRCfw/edit?gid=806905077#gid=806905077 spreadsheet]. Current count: 276. (Total reduction: 1 machine, plus 1 solved machine). | ||
** Alistaire found a halting machine in the list mentioned above, see [https://discord.com/channels/960643023006490684/1239205785913790465/1456317703156531211 Discord]. Approximate score: 4e12. | ** Alistaire found a halting machine in the list mentioned above, see [https://discord.com/channels/960643023006490684/1239205785913790465/1456317703156531211 Discord]. Approximate score: 4e12. | ||
[[Category:This Month in Beaver Research|2025-12]] | [[Category:This Month in Beaver Research|2025-12]] | ||
Revision as of 17:33, 1 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.
Holdouts
- BB(6):
- Progress has been made in reducing the list of machines not simulated up to 1e13, by Alistaire: see spreadsheet. Current count: 276. (Total reduction: 1 machine, plus 1 solved machine).
- Alistaire found a halting machine in the list mentioned above, see Discord. Approximate score: 4e12.