TMBR: September 2025: Difference between revisions

From BusyBeaverWiki
Jump to navigation Jump to search
VisualWikitext
m (Credited Ben Brubaker for the new)
(Added some more to the "Holdouts" section. This will need to be further update at the end of the month.)
Line 13: Line 13:
** @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.]
* [[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,543,434 (52.22% reduction)
* [[BB(7)|BB(7):]]
* [[BB(2,6)|BB(2,6):]] First, Andrew Ducharme has continued reducing the number of holdouts from 18,054,938 to 17,629,828 (2.35% reduction). Then 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). TODO: Error in the original holdouts list, new holdout count when tjligocki reran mxdys deciders but then that contained an error so then tjligocki reran the deciders for the 3rd time on a verified holdouts list consisting of around 20mil TMs.
** 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)
** 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)|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 [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).
** @Peacemaker II discovered there were TMs missing from Andrew Ducharme's initial reductions. Andrew decided to scrap those reduction 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 form 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 Adjacent==
==BB Adjacent==

Revision as of 19:35, 17 September 2025

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

This Month in Beaver Research for September 2025.

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 reduction 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 form 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 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

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