TMBR: October 2026: Difference between revisions
Jump to navigation
Jump to search
mNo edit summary |
67 |
||
| Line 11: | Line 11: | ||
* On 2 October, @mineralli discovered a new champion for MBB(10, 2).<sup>[https://discord.com/channels/960643023006490684/1552294888740098139/1555502006372663337]</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> | * 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> | ||
* On the same day, Shawn Ligocki released an MBB(8) holdout list consisting of 145 holdouts,<sup>[https://discord.com/channels/960643023006490684/1552294888740098139/1555699448066342953]</sup> using another ai-created decider similar to CTL.<sup>[https://discord.com/channels/960643023006490684/1552294888740098139/1555699290285019147]</sup> | |||
* On 3 October, Shawn Ligocki released another MBB(8) holdout list consisting of 46 holdouts,<sup>[https://discord.com/channels/960643023006490684/1552294888740098139/1555754019606106212]</sup> later reduced to 6<sup>[https://discord.com/channels/960643023006490684/1552294888740098139/1555772428997886004]</sup> (from 7<sup>[https://discord.com/channels/960643023006490684/1552294888740098139/1555759004444270633]</sup>) holdouts. | |||
* On the same day, Shawn Ligocki discovered a cryptid amongst the 6 remaining holdouts, showing MBB(8) is hard.<sup>[https://discord.com/channels/960643023006490684/1552294888740098139/1555767330531967099]</sup> | |||
* On the same day, sheep analyzed the rest of the holdouts, discovering 4 equivalences and another cryptid,<sup>[https://discord.com/channels/960643023006490684/1552294888740098139/1555897664078618675]</sup> meaning MBB(8) "probviously" = 3,394. | |||
== Misc == | == Misc == | ||
| Line 18: | Line 22: | ||
* [[BB(2,5)]] | * [[BB(2,5)]] | ||
**On October 2, prurq used Aristotle AI to solve another one of the remaining holdouts, reducing the unofficial count to 38 out of initially 60 Rocq-proven. [https://discord.com/channels/960643023006490684/1259770421046411285/1555690509245087827 | **On October 2, prurq used Aristotle AI to solve another one of the remaining holdouts, reducing the unofficial count to 38 out of initially 60 Rocq-proven.<sup>[https://discord.com/channels/960643023006490684/1259770421046411285/1555690509245087827]</sup> | ||
[[Category:This Month in Beaver Research|2026-10]] | [[Category:This Month in Beaver Research|2026-10]] | ||
Revision as of 13:13, 3 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]
- On the same day, Shawn Ligocki released an MBB(8) holdout list consisting of 145 holdouts,[7] using another ai-created decider similar to CTL.[8]
- On 3 October, Shawn Ligocki released another MBB(8) holdout list consisting of 46 holdouts,[9] later reduced to 6[10] (from 7[11]) holdouts.
- On the same day, Shawn Ligocki discovered a cryptid amongst the 6 remaining holdouts, showing MBB(8) is hard.[12]
- On the same day, sheep analyzed the rest of the holdouts, discovering 4 equivalences and another cryptid,[13] meaning MBB(8) "probviously" = 3,394.
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.[14]