TMBR: September 2025: Difference between revisions
Jump to navigation
Jump to search
(attempt to add BBλ results) |
m (→Holdouts: Fixed typo) |
||
| (10 intermediate revisions by 3 users not shown) | |||
| Line 9: | Line 9: | ||
* [[BB(6)|BB(6):]] | * [[BB(6)|BB(6):]] | ||
** Andrew Ducharme and @mxdys [https://discord.com/channels/960643023006490684/1239205785913790465/1413428240000745618 both found a family of 10 halting TMs] independently, all halting in around <math>10^{69}</math> steps. | ** Andrew Ducharme and @mxdys [https://discord.com/channels/960643023006490684/1239205785913790465/1413428240000745618 both found a family of 10 halting TMs] independently, all halting in around <math>10^{69}</math> steps. | ||
** @mxdys [https://discord.com/channels/960643023006490684/1400456788955893840/1413542505772748810 decided | ** @mxdys [https://discord.com/channels/960643023006490684/1400456788955893840/1413542505772748810 decided two machines’ fates] from the [[TMBR: August 2025#Misc|50 Random Holdouts released in August]], making 8/50 machined solved as of this month. | ||
* [[BB(7)|BB(7):]] Andrew Ducharme has continued reducing [https://wiki.bbchallenge.org/wiki/BB(7)#Phase_2 the number of holdouts], from 59,727,905 to | * [[BB(7)|BB(7):]] Andrew Ducharme has continued reducing [https://wiki.bbchallenge.org/wiki/BB(7)#Phase_2 the number of holdouts], from 59,727,905 to 29,781,771 (50.14% reduction) | ||
* [[BB(2,6)|BB(2,6):]] Andrew Ducharme has continued reducing the number of holdouts from 18,054,938 to 17,629,828 (2.35% reduction) | |||
==BB Adjacent== | ==BB Adjacent== | ||
Latest revision as of 09:21, 9 September 2025
| Prev: August 2025 | This Month in Beaver Research | Next: October 2025 |
This Month in Beaver Research for September 2025.
Cryptids
Holdouts
- BB(6):
- Andrew Ducharme and @mxdys both found a family of 10 halting TMs independently, all halting in around steps.
- @mxdys decided two machines’ fates from the 50 Random Holdouts released in August, making 8/50 machined solved as of this month.
- BB(7): Andrew Ducharme has continued reducing the number of holdouts, from 59,727,905 to 29,781,771 (50.14% reduction)
- BB(2,6): Andrew Ducharme has continued reducing the number of holdouts from 18,054,938 to 17,629,828 (2.35% reduction)
BB Adjacent
- John Tromp announced on Discord that a 350-bit function now reaches the limit of BMS, an improvement from the previous 404 bits.
TODO: phrasing. Discord source: https://discord.com/channels/960643023006490684/1355653587824283678/1413637783045542038 and https://github.com/tromp/AIT/blob/master/fast_growing_and_conjectures/bms.lam