TMBR: September 2025: Difference between revisions

From BusyBeaverWiki
Jump to navigation Jump to search
VisualWikitext
(Fixed time)
(Updated BB(2,6) holdout reductions.)
Line 19: Line 19:
** @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.
** @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.
** Andrew Ducharme [https://discord.com/channels/960643023006490684/1239205785913790465/1415859365944230001 found a non-halting TM], to which [https://discord.com/channels/960643023006490684/1239205785913790465/1415885515068280833 Peacemaker II replied with another machine] that turned out to be very similar, and non-halting as well. Later in his search Andrew [https://discord.com/channels/960643023006490684/1239205785913790465/1416229864280948817 found another non-halting TM.]
** Andrew Ducharme [https://discord.com/channels/960643023006490684/1239205785913790465/1415859365944230001 found a non-halting TM], to which [https://discord.com/channels/960643023006490684/1239205785913790465/1415885515068280833 Peacemaker II replied with another machine] that turned out to be very similar, and non-halting as well. Later in his search Andrew [https://discord.com/channels/960643023006490684/1239205785913790465/1416229864280948817 found another non-halting TM.]
** mxdys published a list of 3171 holdouts. The holdouts are in 1691 equivalence classes by halting status.
** @mxdys published a list of 3171 holdouts. The holdouts are in 1691 equivalence classes by halting status.
* [[BB(7)|BB(7):]]
* [[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 28,189,617 (52.80% reduction).
** Andrew Ducharme has continued reducing [https://wiki.bbchallenge.org/wiki/BB(7)#Phase_2 the number of holdouts], from 59,727,905 to 28,189,617 (52.80% reduction).
Line 25: Line 25:
** The overall reduction this month was 72.9%
** The overall reduction this month was 72.9%
* [[BB(2,6)|BB(2,6):]]  
* [[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).
** @Peacemaker II noticed some TMs missing from Andrew Ducharme reductions. It was decided to start back at the original 22,302,296 holdout TMs.
** Terry Ligocki [https://discord.com/channels/960643023006490684/1084047886494470185/1414681547444981944 shared that he ran 14 of @mxdys deciders on the holdouts list], reducing the [[BB(2,6)#Filtering|holdout count]] to a flattering 1,300,334 TMs (92.63% reduction).
** Andrew Ducharme ran several deciders/filters and reduced the 22,302,296 holdout TMs to 20,358,011 (8.72% reduction).
** @Peacemaker II discovered there were TMs missing from Andrew Ducharme's initial reductions. Andrew decided to scrap those reductions and run a single filter and reduced the holdout TMs from 22.3M to 20.4M (8.52% reduction).
** Terry Ligocki ran 50 variations of deciders/parameters using @mxdys' C++ code, main.cpp, reducing the [[BB(2,6)#Filtering|holdout count]] to 970,101 TMs (95.23% reduction)!
** Terry Ligocki then reran the 14 filters on the corrected holdouts and reduced the holdouts from 20.4M to 1.43M (92.9% reduction). This was followed by running 36 filters found examining a subset of the holdouts which reduced the holdouts from 1.43M to 970K (32.2% reduction). Overall, the 50 filters reduced the holdouts by 95.23%.
** Andrew Ducharme ran some additional deciders reducing the holdout count to 873,469 TMs (9.96% reduction).
** TODO: Andrew Ducharme is continuing to run filters and has gotten some more appreciable reductions.
** TODO: Make a clearly defined line that leads to the current 873,469 and a brief story of how this came about.
*[[BB(4,3)|BB(4,3):]]
*[[BB(4,3)|BB(4,3):]]
** Terry Ligocki ran a set of deciders/parameters from @mxdys' code to reduce the number of holdouts which were at 460,916,384 TMs. Six passes have reduced the holdout count to 97,701,052 TMs (an 78.80% reduction).
** Terry Ligocki ran a set of deciders/parameters from @mxdys' code to reduce the number of holdouts which were at 460,916,384 TMs. Six passes have reduced the holdout count to 97,701,052 TMs (an 78.80% reduction).

Revision as of 22:04, 27 September 2025

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

This Month in Beaver Research for September 2025.

TODO: BB(5) arXiv released https://arxiv.org/abs/2509.12337

TODO: BB(3,3) month.

In the News

Holdouts

  • BB(6):
  • BB(7):
    • Andrew Ducharme has continued reducing the number of holdouts, from 59,727,905 to 28,189,617 (52.80% reduction).
    • Terry Ligocki ran an additional 41 filters/parameters. This reduced the number of holdouts, from 28,189,617 to 23,314,388 TMs (17.29% reduction)
    • The overall reduction this month was 72.9%
  • BB(2,6):
    • @Peacemaker II noticed some TMs missing from Andrew Ducharme reductions. It was decided to start back at the original 22,302,296 holdout TMs.
    • Andrew Ducharme ran several deciders/filters and reduced the 22,302,296 holdout TMs to 20,358,011 (8.72% reduction).
    • Terry Ligocki ran 50 variations of deciders/parameters using @mxdys' C++ code, main.cpp, reducing the holdout count to 970,101 TMs (95.23% reduction)!
    • Andrew Ducharme ran some additional deciders reducing the holdout count to 873,469 TMs (9.96% reduction).
  • BB(4,3):
    • Terry Ligocki ran a set of deciders/parameters from @mxdys' code to reduce the number of holdouts which were at 460,916,384 TMs. Six passes have reduced the holdout count to 97,701,052 TMs (an 78.80% reduction).
  • BB(3,4):
    • TODO: @Xnoob545 and @Lúkos are working on the holdout list for BB(3,4), ~435M TMs, using @mxdys' deciders with various parameters.

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

Blog Posts

Misc

Retrieved from "https://wiki.bbchallenge.org/w/index.php?title=TMBR:_September_2025&oldid=3962"