TMBR: August 2026: Difference between revisions
Jump to navigation
Jump to search
→Holdouts: Added new holdouts list |
→BB Adjacent: added some TODOs |
||
| Line 5: | Line 5: | ||
== BB Adjacent == | == BB Adjacent == | ||
TODO: [[TT]] | TODO: [[TT]] | ||
TODO: [[Pebble Automaton]] | |||
TODO: [[Wang Tiles]] | |||
TODO: [[SKI Calculus]] | |||
== Holdouts == | == Holdouts == | ||
Revision as of 10:39, 15 August 2026
| Prev: July 2026 | This Month in Beaver Research | Next: September 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
TODO: TT
TODO: Pebble Automaton
TODO: Wang Tiles
TODO: SKI Calculus
Holdouts
- BB(6):
- prurq found three machines to halt.[1][2][3]
- q64 simulated another TM to halt.
- mxdys released a new holdouts list of 1,016 machines up to equivalence, this is a 4.51% reduction compared to the previous holdouts list.
- BB(2,7):
- Terry Ligocki enumerated 40K more subtasks, increasing the number of holdouts to 2,311,169,711. A total of 740K subtasks out of the 1 million subtasks (or 74%) have been enumerated.