TMBR: January 2026: Revision history

20 February 2026

• curprev 13:4113:41, 20 February 2026 Polygon talk contribs 8,258 bytes 0 Updated identifier in Category:This Month in Beaver Research

15 February 2026

• curprev 18:4618:46, 15 February 2026 RobinCodes talk contribs 8,258 bytes +135 →Holdouts: Added clarification for informal holdout count discrepancy Tag: Visual edit
• curprev 18:0318:03, 15 February 2026 RobinCodes talk contribs 8,123 bytes +73 Added more stuff related to the new FAR decider Tag: Visual edit

12 February 2026

• curprev 19:5719:57, 12 February 2026 RobinCodes talk contribs 8,050 bytes +39 →Holdouts: Added BB(2,5) to the table, small formatting changes Tag: Visual edit

6 February 2026

• curprev 18:1518:15, 6 February 2026 Polygon talk contribs 8,011 bytes +283 →Holdouts: added table of reductions
• curprev 17:5217:52, 6 February 2026 Polygon talk contribs 7,728 bytes +100 →Champions: added new BBλ champions

5 February 2026

• curprev 14:2514:25, 5 February 2026 RobinCodes talk contribs 7,628 bytes +104 →Holdouts: Finalized BB(6) holdouts section Tag: Visual edit

4 February 2026

• curprev 19:0919:09, 4 February 2026 RobinCodes talk contribs 7,524 bytes +310 →Holdouts: Added all BB(6) progress Tag: Visual edit

2 February 2026

• curprev 19:0919:09, 2 February 2026 RobinCodes talk contribs 7,214 bytes +101 →Holdouts: Added 1e13 sim results (implicit via solved holdouts) Tag: Visual edit
• curprev 18:3118:31, 2 February 2026 RobinCodes talk contribs 7,113 bytes +184 →Holdouts: Added Dyuan's progress Tag: Visual edit
• curprev 18:1118:11, 2 February 2026 RobinCodes talk contribs m 6,929 bytes −4 →Holdouts Tag: Visual edit
• curprev 17:5617:56, 2 February 2026 RobinCodes talk contribs 6,933 bytes +90 →Holdouts: Added citation for confirmation in Rocq Tag: Visual edit

1 February 2026

• curprev 21:2621:26, 1 February 2026 Tlonuqbar talk contribs 6,843 bytes +366 info on new rocq proofs Tag: Visual edit
• curprev 16:3716:37, 1 February 2026 Sligocki talk contribs 6,477 bytes +147 →Blog Posts: Add Tromp's post. Tag: Visual edit
• curprev 05:1705:17, 1 February 2026 ADucharme talk contribs 6,330 bytes +117 →Holdouts: updated 2x6 progress Tag: Visual edit
• curprev 05:1105:11, 1 February 2026 ADucharme talk contribs 6,213 bytes +154 add to-do for mxdys code release Tag: Visual edit

30 January 2026

• curprev 11:3311:33, 30 January 2026 Qwertyasdf talk contribs 6,059 bytes +178 →Holdouts: add solved 2,5 machine Tag: Visual edit
• curprev 11:2011:20, 30 January 2026 Qwertyasdf talk contribs 5,881 bytes +177 →Holdouts: add peacemaker result Tag: Visual edit
• curprev 11:1211:12, 30 January 2026 Qwertyasdf talk contribs 5,704 bytes +234 →Holdouts: add new holdouts list Tag: Visual edit

27 January 2026

• curprev 12:4712:47, 27 January 2026 Qwertyasdf talk contribs 5,470 bytes +200 →Holdouts: update Tag: Visual edit

18 January 2026

• curprev 12:5712:57, 18 January 2026 Polygon talk contribs 5,270 bytes +203 →Holdouts: BB(7) and BB(2,6) progress
• curprev 09:4809:48, 18 January 2026 Azerty talk contribs 5,067 bytes +19 →Champions: I didn't find these BLB and TT champions. Tag: Visual edit

17 January 2026

• curprev 06:5706:57, 17 January 2026 RobinCodes talk contribs 5,048 bytes +155 Added Nick Drozd's article Tag: Visual edit

16 January 2026

• curprev 19:0919:09, 16 January 2026 RobinCodes talk contribs m 4,893 bytes +60 →Holdouts Tag: Visual edit

14 January 2026

• curprev 06:5406:54, 14 January 2026 Qwertyasdf talk contribs 4,833 bytes +177 add links Tag: Visual edit
• curprev 06:5106:51, 14 January 2026 Qwertyasdf talk contribs 4,656 bytes +205 add ConePine's proof idea Tag: Visual edit
• curprev 06:4806:48, 14 January 2026 Qwertyasdf talk contribs 4,451 bytes +6 grammar Tag: Visual edit
• curprev 01:0901:09, 14 January 2026 Qwertyasdf talk contribs 4,445 bytes +75 further reduction Tag: Visual edit

13 January 2026

• curprev 15:3715:37, 13 January 2026 RobinCodes talk contribs 4,370 bytes +165 →Holdouts: Added mxdys's new "BB(6) holdouts that seem provable" Tag: Visual edit

11 January 2026

• curprev 12:5012:50, 11 January 2026 Polygon talk contribs 4,205 bytes +174 →Champions: added new lower bound for BBλ(91) champion
• curprev 07:3507:35, 11 January 2026 RobinCodes talk contribs 4,031 bytes +235 →Holdouts: Added BB(7) results Tag: Visual edit

9 January 2026

• curprev 22:5522:55, 9 January 2026 Polygon talk contribs 3,796 bytes +228 →Champions: added TT(4) and TT(2,4)
• curprev 22:4422:44, 9 January 2026 Polygon talk contribs 3,568 bytes +206 Added champions section with BLB(3,3)

7 January 2026

• curprev 17:2517:25, 7 January 2026 RobinCodes talk contribs 3,362 bytes +232 →Holdouts: Added Alistaire's simulation progress Tag: Visual edit
• curprev 16:3916:39, 7 January 2026 RobinCodes talk contribs 3,130 bytes +220 Added Uniform-Action Busy Beaver Tag: Visual edit

5 January 2026

• curprev 19:2419:24, 5 January 2026 RobinCodes talk contribs 2,910 bytes +231 →Holdouts: Added Alistaire's simulation results Tag: Visual edit

4 January 2026

• curprev 17:3017:30, 4 January 2026 RobinCodes talk contribs 2,679 bytes +116 Added simulation results by Alistaire Tag: Visual edit

3 January 2026

• curprev 23:0623:06, 3 January 2026 RobinCodes talk contribs 2,563 bytes +111 →Holdouts: Added Alistaire 1e13 simulation progress Tag: Visual edit
• curprev 15:3115:31, 3 January 2026 RobinCodes talk contribs 2,452 bytes +444 →Holdouts: Added Alistaire's 1e13 simulation progress in #bb6. Now, all simulation progress should be here. Tag: Visual edit
• curprev 15:0815:08, 3 January 2026 RobinCodes talk contribs 2,008 bytes +111 Added one missed result from #forum-individual-machines Tag: Visual edit
• curprev 14:5314:53, 3 January 2026 RobinCodes talk contribs 1,897 bytes +35 →Holdouts: Added better formatting, bolding etc Tag: Visual edit
• curprev 14:5114:51, 3 January 2026 RobinCodes talk contribs 1,862 bytes +19 →Holdouts: Added sum Tag: Visual edit
• curprev 14:5014:50, 3 January 2026 RobinCodes talk contribs 1,843 bytes +749 Results SHOULD now be consistent with all simulation results in #individual-machines and in #forum-individual-machines. Tag: Visual edit

2 January 2026

• curprev 21:2121:21, 2 January 2026 RobinCodes talk contribs 1,094 bytes +32 Added Alistaire 1e13 simulation progress Tag: Visual edit
• curprev 21:1721:17, 2 January 2026 RobinCodes talk contribs 1,062 bytes +1 →Holdouts: Added Alistaire 1e13 simulation progress Tag: Visual edit

1 January 2026

• curprev 22:0322:03, 1 January 2026 RobinCodes talk contribs 1,061 bytes +190 →Holdouts: Added Alistaire results Tag: Visual edit
• curprev 17:3317:33, 1 January 2026 RobinCodes talk contribs 871 bytes +43 No edit summary Tag: Visual edit
• curprev 16:4516:45, 1 January 2026 RobinCodes talk contribs 828 bytes +534 Added simulation results by Alistaire plus BB(6) halter Tag: Visual edit
• curprev 16:3816:38, 1 January 2026 RobinCodes talk contribs m 294 bytes 0 RobinCodes moved page TMBR: January 2025 to TMBR: January 2026: Misspelled title
• curprev 16:3716:37, 1 January 2026 RobinCodes talk contribs 294 bytes +294 Created this month's TMBR page