TMBR: May 2026: Revision history

30 September 2026

• curprev 12:1812:18, 30 September 2026 Δ⁵ talk contribs m 11,850 bytes +79 No edit summary Tag: Visual edit
• curprev 11:5411:54, 30 September 2026 HelpMe talk contribs 11,771 bytes +3,083 added champions for combinator busy beavers, BBCS(10) was proven last month. elaborate on why FLT is very interesting and we should worship the theorem Tag: Visual edit

28 July 2026

• curprev 19:5619:56, 28 July 2026 Tlonuqbar talk contribs 8,688 bytes +195 clarifying importance of Legion's project for BB

18 July 2026

• curprev 23:5323:53, 18 July 2026 Sligocki talk contribs 8,493 bytes +227 →Misc: Add Legion's Axiom of Infinity results. Tag: Visual edit
• curprev 23:1823:18, 18 July 2026 Sligocki talk contribs 8,266 bytes +473 Finish up GRF notes for May Tag: Visual edit

17 July 2026

• curprev 18:1618:16, 17 July 2026 Sligocki talk contribs 7,793 bytes +1,366 →BB Adjacent: Add a bunch of BBµ results Tag: Visual edit

8 July 2026

• curprev 13:0413:04, 8 July 2026 Azerty talk contribs 6,427 bytes +42 No edit summary Tag: Visual edit

29 June 2026

• curprev 17:3417:34, 29 June 2026 Polygon talk contribs 6,385 bytes +20 →Holdouts: Linked Phase 3

26 June 2026

• curprev 14:0114:01, 26 June 2026 Polygon talk contribs 6,365 bytes +21 →Misc: Added GPU deciders as TODO

20 June 2026

• curprev 13:0013:00, 20 June 2026 Polygon talk contribs 6,344 bytes 0 →BB Adjacent: date order
• curprev 12:5812:58, 20 June 2026 Polygon talk contribs 6,344 bytes +346 →BB Adjacent: Added BBf(23) enumeration
• curprev 11:2811:28, 20 June 2026 Polygon talk contribs 5,998 bytes +531 →BB Adjacent: more BBCS
• curprev 11:2011:20, 20 June 2026 Polygon talk contribs 5,467 bytes +289 →BB Adjacent: more BBCS
• curprev 11:0511:05, 20 June 2026 Polygon talk contribs 5,178 bytes −6 →BB Adjacent: TODO-ordering
• curprev 11:0311:03, 20 June 2026 Polygon talk contribs 5,184 bytes +209 Added BBCS(65) Graham champion
• curprev 10:2010:20, 20 June 2026 Polygon talk contribs 4,975 bytes +5 →BB Adjacent: wording
• curprev 10:1010:10, 20 June 2026 Polygon talk contribs 4,970 bytes +158 SKI calculus

3 June 2026

• curprev 13:0213:02, 3 June 2026 Polygon talk contribs 4,812 bytes +335 →Holdouts: Added table for holdout reductions

2 June 2026

• curprev 14:1814:18, 2 June 2026 RobinCodes talk contribs 4,477 bytes +12 →BB Adjacent: add bbcs as todo Tag: Visual edit
• curprev 08:1608:16, 2 June 2026 RobinCodes talk contribs 4,465 bytes +26 BBBB Tag: Visual edit
• curprev 08:1508:15, 2 June 2026 RobinCodes talk contribs 4,439 bytes +25 →BB Adjacent: Added Fracran as todo Tag: Visual edit
• curprev 08:1508:15, 2 June 2026 RobinCodes talk contribs 4,414 bytes +390 →Holdouts: BB(2,5) progress Tag: Visual edit

1 June 2026

• curprev 21:1421:14, 1 June 2026 Tjligocki talk contribs m 4,024 bytes 0 →Holdouts: Final numbers for BB(2,7) enumeration in May Tag: Visual edit

30 May 2026

• curprev 09:3009:30, 30 May 2026 Tjligocki talk contribs m 4,024 bytes +3 →Holdouts: Updated BB(2,7) initial enumeration Tag: Visual edit

28 May 2026

• curprev 23:0423:04, 28 May 2026 Tjligocki talk contribs m 4,021 bytes 0 →Holdouts: Fixed typo Tag: Visual edit
• curprev 23:0323:03, 28 May 2026 Tjligocki talk contribs m 4,021 bytes 0 →Holdouts: Updated BB(2,7) enumeration Tag: Visual edit
• curprev 08:4408:44, 28 May 2026 RobinCodes talk contribs 4,021 bytes +74 →BB Adjacent: More BB Adj TODO Tag: Visual edit

26 May 2026

• curprev 09:5609:56, 26 May 2026 Polygon talk contribs 3,947 bytes +111 →Holdouts: updated BB(2,6)

24 May 2026

• curprev 00:1500:15, 24 May 2026 Tjligocki talk contribs m 3,836 bytes 0 →Holdouts: Update BB(2,7) enumeration Tag: Visual edit

23 May 2026

• curprev 09:5909:59, 23 May 2026 RobinCodes talk contribs 3,836 bytes +22 →Misc: Fix references Tag: Visual edit
• curprev 08:1408:14, 23 May 2026 Polygon talk contribs 3,814 bytes +89 →Holdouts: source
• curprev 08:1208:12, 23 May 2026 Polygon talk contribs 3,725 bytes 0 →Holdouts: Adde new BB(2,6) holdout reduction

22 May 2026

• curprev 19:4519:45, 22 May 2026 Polygon talk contribs 3,725 bytes +25 Added SKI Calculus as TODO

19 May 2026

• curprev 06:5706:57, 19 May 2026 RobinCodes talk contribs 3,700 bytes +111 →Holdouts: Add BB(2,6) progress Tag: Visual edit

17 May 2026

• curprev 10:4210:42, 17 May 2026 RobinCodes talk contribs 3,589 bytes +304 Added BB(2,6) progress Tag: Visual edit

16 May 2026

• curprev 17:4717:47, 16 May 2026 Tjligocki talk contribs m 3,285 bytes 0 →Holdouts: Updated BB(2,7) section Tag: Visual edit

15 May 2026

• curprev 17:1117:11, 15 May 2026 Polygon talk contribs 3,285 bytes 0 →Holdouts: updated BB(2,6)

14 May 2026

• curprev 06:0606:06, 14 May 2026 RobinCodes talk contribs 3,285 bytes +12 →Holdouts: Add BB(2,6) progress Tag: Visual edit

13 May 2026

• curprev 17:5017:50, 13 May 2026 Polygon talk contribs 3,273 bytes +153 →Holdouts: Added BB(3,4) reduction
• curprev 16:5316:53, 13 May 2026 RobinCodes talk contribs 3,120 bytes +112 →Holdouts: Added BB(2,6) progress Tag: Visual edit

12 May 2026

• curprev 00:2300:23, 12 May 2026 Tjligocki talk contribs m 3,008 bytes −1 →Holdouts: Updated BB(2,7) Tag: Visual edit

10 May 2026

• curprev 08:4408:44, 10 May 2026 Polygon talk contribs 3,009 bytes +215 Added BB(4,3) reduction

9 May 2026

• curprev 10:0510:05, 9 May 2026 Polygon talk contribs 2,794 bytes +530 →Holdouts: Added new BB(6) reductions
• curprev 10:0010:00, 9 May 2026 Polygon talk contribs 2,264 bytes +1 →Holdouts: Updated BB(2,7) enumeration progress
• curprev 09:5809:58, 9 May 2026 Polygon talk contribs 2,263 bytes +301 Added mxdys inductive decider

6 May 2026

• curprev 05:4205:42, 6 May 2026 RobinCodes talk contribs 1,962 bytes +122 →Holdouts: Added BB(2,6) progress Tag: Visual edit

4 May 2026

• curprev 18:0818:08, 4 May 2026 Sligocki talk contribs 1,840 bytes +972 GRF Tag: Visual edit

3 May 2026

• curprev 11:5011:50, 3 May 2026 RobinCodes talk contribs m 868 bytes −3 →Holdouts: Preassume reference Tag: Visual edit
• curprev 09:0909:09, 3 May 2026 Polygon talk contribs 871 bytes +235 Added BB(2,6) holdout reduction

2 May 2026

• curprev 10:1810:18, 2 May 2026 Polygon talk contribs 636 bytes +636 Created page with "{{TMBRnav|April 2026|June 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).'' == Holdouts == *BB(2,7) ** Terry Ligocki enumerated 20K more subtasks, increasing the number of holdouts to '''749,156,843'''. A total of 24K subtasks out of the 1 million subtasks (or '''24%''') have been enumerated.<sup>[https://d..."