TMBR: March 2026: Difference between revisions

From BusyBeaverWiki
Jump to navigation Jump to search
m Ho precisato perche se c'è una cosa che e differente da un altra ma e vera, allora preciso ĺ altra
Polygon (talk | contribs)
Holdouts: clarified that these are not supposed to be the current numbers
Line 8: Line 8:


* [[BB(6)]]: 1e14 machines: '''175'''. 1e15 machines: '''239'''. '''10 solved machines'''.
* [[BB(6)]]: 1e14 machines: '''175'''. 1e15 machines: '''239'''. '''10 solved machines'''.
** Holdouts lists for machines not simulated to '''1e14 and 1e15''' steps were created. The holdouts list count is '''175 and 239''' respectively. See [https://docs.google.com/spreadsheets/d/1mMp8bAcTFT91j7azn72liX8NSTwc2E_ozKnOGTfRCfw/edit?gid=806905077#gid=806905077 Spreadsheet for BB6].
** Holdouts lists for machines not simulated to '''1e14 and 1e15''' steps were created. The holdouts list counts were '''178 and 252''' respectively. See [https://docs.google.com/spreadsheets/d/1mMp8bAcTFT91j7azn72liX8NSTwc2E_ozKnOGTfRCfw/edit?gid=806905077#gid=806905077 Spreadsheet for BB6].
** Later, [https://discord.com/channels/960643023006490684/1477591686514212894/1478401591307407554 prurq found 10 more machines] in the holdouts list that had previously been simulated to 1e15: thus the new 1e15 holdout count is '''239.'''
** Later, [https://discord.com/channels/960643023006490684/1477591686514212894/1478401591307407554 prurq found 10 more machines] in the holdouts list that had previously been simulated to 1e15: thus the new 1e15 holdout count was '''242.'''
** Andrew Ducharme [https://discord.com/channels/960643023006490684/1239205785913790465/1478626634729914450 solved two machines] using FAR.
** Andrew Ducharme [https://discord.com/channels/960643023006490684/1239205785913790465/1478626634729914450 solved two machines] using FAR.
** prurq found two machines [https://discord.com/channels/960643023006490684/1239205785913790465/1478518151393312822][https://discord.com/channels/960643023006490684/1239205785913790465/1478525451826888775] to be [[Translated Cycler|Translated Cyclers]]. Shawn Ligocki [https://discord.com/channels/960643023006490684/1239205785913790465/1478781268664778989 verified one of them] and discovered its preperiod to be over <math>10^{12}</math> steps. mxdys verified the other. Both were 1e14 and 1e15 holdouts, thus reducing those holdout counts by 2.
** prurq found two machines [https://discord.com/channels/960643023006490684/1239205785913790465/1478518151393312822][https://discord.com/channels/960643023006490684/1239205785913790465/1478525451826888775] to be [[Translated Cycler|Translated Cyclers]]. Shawn Ligocki [https://discord.com/channels/960643023006490684/1239205785913790465/1478781268664778989 verified one of them] and discovered its preperiod to be over <math>10^{12}</math> steps. mxdys verified the other. Both were 1e14 and 1e15 holdouts, thus reducing those holdout counts by 2.

Revision as of 16:48, 6 March 2026

Prev: February 2026 This Month in Beaver Research Next: April 2026

This edition of TMBR is in progress and has not yet been released. Please add any notes you think may be relevant (including in the form a of a TODO with a link to any relevant Discord discussion).

This Month in Beaver Research for February 2026. TODO: Write a proper introductory paragraph.

Holdouts

  • BB(6): 1e14 machines: 175. 1e15 machines: 239. 10 solved machines.
    • Holdouts lists for machines not simulated to 1e14 and 1e15 steps were created. The holdouts list counts were 178 and 252 respectively. See Spreadsheet for BB6.
    • Later, prurq found 10 more machines in the holdouts list that had previously been simulated to 1e15: thus the new 1e15 holdout count was 242.
    • Andrew Ducharme solved two machines using FAR.
    • prurq found two machines [1][2] to be Translated Cyclers. Shawn Ligocki verified one of them and discovered its preperiod to be over 1012 steps. mxdys verified the other. Both were 1e14 and 1e15 holdouts, thus reducing those holdout counts by 2.
    • mxdys found four more [3][4] Translated Cyclers in the remaining holdouts and solved one more TM using FAR.
    • Andrew Ducharme solved a machine using FAR. This machine was a 1e14 and 1e15 holdout, thus reducing those holdout counts by 1.