TMBR: September 2025: Difference between revisions

Revision as of 15:56, 6 September 2025

Prev: August 2025	This Month in Beaver Research	Next: October 2025

This article is a stub. You can help the BusyBeaverWiki by expanding it.

BB(6):
- Andrew Ducharme and @mxdys both found a family of 10 halting TMs independently, all halting in around $10^{69}$ 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 45,980,438 (23.02% reduction)

John Tromp announced on Discord that a 350-bit $BB\lambda (n)$ function now reaches the limit of BMS, an improvement from the previous 404 bits.

@@ Line 9: / Line 9: @@
 * [[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.
-** @mxdys [https://discord.com/channels/960643023006490684/1400456788955893840/1413542505772748810 decided yet another machine's fate] from the [[TMBR: August 2025#Misc|50 Random Holdouts released in August]], making 7/50 machined solved as of this month.
+** @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 45,980,438                                                                                                     (23.02% reduction)