TMBR: October 2026: Difference between revisions
Jump to navigation
Jump to search
capitalization |
added some stuff. idk what else you are supposed to say when updating timbers. new mbb champ, longanal-sus6x2hldtlist. |
||
| Line 4: | Line 4: | ||
== BB Adjacent == | == BB Adjacent == | ||
[[Register machine|Register | [[Register machine|Register Machine]]: | ||
* On 1 October, sheep discovered a 12-state, 2-register machine which halts iff 7 converges to 1 under the Collatz-like 5n+1 map, thus showing that MBB(12, 2) is hard.<sup>[https://discord.com/channels/960643023006490684/1552294888740098139/1555083694937604097]</sup> | * On 1 October, sheep discovered a 12-state, 2-register machine which halts iff 7 converges to 1 under the Collatz-like 5n+1 map, thus showing that MBB(12, 2) is hard.<sup>[https://discord.com/channels/960643023006490684/1552294888740098139/1555083694937604097]</sup> | ||
* On | * On the same day, @-d enumerated MBB(8), which left 7,891 holdouts after reduction, or 404 holdouts if an ai-created decider is used.<sup>[https://discord.com/channels/960643023006490684/1552294888740098139/1555102010473193513]</sup> | ||
* On the same day, @mineralli discovered a family of champions for MBB(n, 1).<sup>[https://discord.com/channels/960643023006490684/1552294888740098139/1555268332465422508]</sup> | |||
* On 2 October, @mineralli discovered a new champion for MBB(10, 2).<sup>[https://discord.com/channels/960643023006490684/1552294888740098139/1555502006372663337]</sup> | |||
* On the same day, sheep discovered 2 new tetrational champions for MBB(10).<sup>[https://discord.com/channels/960643023006490684/1552294888740098139/1555512334846402573][https://discord.com/channels/960643023006490684/1552294888740098139/1555546324567335048]</sup> | |||
== Misc == | == Misc == | ||
* | * On 1 October, dyuan shared a subset of BB(6) holdouts, consisting of 24 machines which are expected to be easily analyzable by [[Longitudinal Analysis|longitudinal analysis]].<sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1555244959840337973]</sup> | ||
== Holdouts == | == Holdouts == | ||
Revision as of 17:26, 2 October 2026
| Prev: September 2026 | This Month in Beaver Research | Next: November 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 Month in Beaver Research for October 2026.
BB Adjacent
- On 1 October, sheep discovered a 12-state, 2-register machine which halts iff 7 converges to 1 under the Collatz-like 5n+1 map, thus showing that MBB(12, 2) is hard.[1]
- On the same day, @-d enumerated MBB(8), which left 7,891 holdouts after reduction, or 404 holdouts if an ai-created decider is used.[2]
- On the same day, @mineralli discovered a family of champions for MBB(n, 1).[3]
- On 2 October, @mineralli discovered a new champion for MBB(10, 2).[4]
- On the same day, sheep discovered 2 new tetrational champions for MBB(10).[5][6]
Misc
- On 1 October, dyuan shared a subset of BB(6) holdouts, consisting of 24 machines which are expected to be easily analyzable by longitudinal analysis.[7]
Holdouts
- TODO: Holdouts