TMBR: September 2025

From BusyBeaverWiki
Jump to navigation Jump to search
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)
    • TODO: Terry Ligocki is running an additional 41 filters/parameters. 15 filters have been completed which reduced the holdouts from 28.2M to 24.9M (11.64% reduction).
  • BB(2,6):
    • Andrew Ducharme has continued reducing the number of holdouts from 18,054,938 to 17,629,828 (2.35% reduction).
    • Terry Ligocki shared that he ran 14 of @mxdys deciders on the holdouts list, reducing the holdout count to a flattering 1,300,334 TMs (92.63% 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 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%.
    • TODO: Andrew Ducharme is continuing to run filters and has gotten some more appreciable reductions.
  • BB(4,3):
    • TODO: Terry Ligocki is running a set of deciders/parameters from @mxdys' code to reduce the number of holdouts which are currently at ~461M TMs. Three passes have reduced the holdout count to ~96.7M TMs (an ~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