TMBR: July 2026: Revision history

5 October 2026

• curprev 09:2809:28, 5 October 2026 HelpMe talk contribs 9,593 bytes −1 BB_WT(n) death rumors confirmed untrue, editor changes its status back from was to is Tag: Visual edit

3 October 2026

• curprev 18:0318:03, 3 October 2026 HelpMe talk contribs 9,594 bytes +167 and there's this Tag: Visual edit
• curprev 17:5817:58, 3 October 2026 HelpMe talk contribs 9,427 bytes +6,300 done, finished. hopefully Tag: Visual edit
• curprev 15:4415:44, 3 October 2026 AlephSquirrel talk contribs 3,127 bytes +172 →BB Adjacent: Wnagtlies Tag: Visual edit

1 October 2026

• curprev 13:4813:48, 1 October 2026 Δ⁵ talk contribs m 2,955 bytes +59 formatting

6 September 2026

• curprev 00:4300:43, 6 September 2026 Tjligocki talk contribs m 2,896 bytes −3 →Holdouts: Removed three colon to make the "Holdout" sections consistent with previous months. Tag: Visual edit

1 August 2026

• curprev 16:0716:07, 1 August 2026 AlephSquirrel talk contribs 2,899 bytes +88 No edit summary Tag: Visual edit
• curprev 10:0210:02, 1 August 2026 Polygon talk contribs 2,811 bytes +232 →Holdouts: Added table of reductions
• curprev 09:5909:59, 1 August 2026 Polygon talk contribs 2,579 bytes +328 →Holdouts: Added two solved machines and now BMOs as TODOs

30 July 2026

• curprev 21:5021:50, 30 July 2026 Tjligocki talk contribs 2,251 bytes 0 →Holdouts: Update BB(2,7) enumeration - 70% done! Tag: Visual edit
• curprev 09:2809:28, 30 July 2026 Tjligocki talk contribs m 2,251 bytes 0 →BB Adjacent: Update BB(2,7) enumeration Tag: Visual edit
• curprev 06:4006:40, 30 July 2026 Δ⁵ talk contribs m 2,251 bytes −33 →BB Adjacent Tag: Visual edit

29 July 2026

• curprev 19:0719:07, 29 July 2026 Sligocki talk contribs 2,284 bytes +124 lean proof Tag: Visual edit
• curprev 19:0619:06, 29 July 2026 Sligocki talk contribs 2,160 bytes +135 Mention BBB4 coq proof Tag: Visual edit

28 July 2026

• curprev 16:1216:12, 28 July 2026 Polygon talk contribs 2,025 bytes +243 Added new holdouts list
• curprev 15:5015:50, 28 July 2026 Polygon talk contribs m 1,782 bytes +1 spacing
• curprev 15:5015:50, 28 July 2026 Polygon talk contribs 1,781 bytes +13 Added TODO

25 July 2026

• curprev 09:5109:51, 25 July 2026 Polygon talk contribs 1,768 bytes +89 →Holdouts: Updated BB(4,3)
• curprev 09:4909:49, 25 July 2026 Polygon talk contribs 1,679 bytes +284 →BB Adjacent: Added BBλ(40)

24 July 2026

• curprev 12:1912:19, 24 July 2026 Polygon talk contribs 1,395 bytes +42 More SK bounds
• curprev 12:1812:18, 24 July 2026 Polygon talk contribs 1,353 bytes +40 Added TODOs
• curprev 09:2409:24, 24 July 2026 Tjligocki talk contribs m 1,313 bytes 0 →Holdouts: Update BB(2,7) enumeration Tag: Visual edit

22 July 2026

• curprev 06:1906:19, 22 July 2026 Tjligocki talk contribs m 1,313 bytes 0 →Holdouts: Update BB(2,7) enumeration Tag: Visual edit

20 July 2026

• curprev 23:3523:35, 20 July 2026 Tjligocki talk contribs m 1,313 bytes 0 →Holdouts: Update BB(2,7) enumeration Tag: Visual edit

17 July 2026

• curprev 20:5120:51, 17 July 2026 Tjligocki talk contribs m 1,313 bytes +1 →Holdouts: Update BB(2,7) enumeration Tag: Visual edit

15 July 2026

• curprev 05:4005:40, 15 July 2026 Tjligocki talk contribs m 1,312 bytes 0 →Holdouts: Update BB(2,7) enumeration Tag: Visual edit

13 July 2026

• curprev 19:5419:54, 13 July 2026 Tjligocki talk contribs m 1,312 bytes 0 →Holdouts: Update BB(2,7) enumeration Tag: Visual edit

11 July 2026

• curprev 19:5819:58, 11 July 2026 Tjligocki talk contribs m 1,312 bytes 0 →Holdouts: Update BB(2,7) enumeration Tag: Visual edit

10 July 2026

• curprev 17:0317:03, 10 July 2026 Polygon talk contribs 1,312 bytes +23 Updated BB_SK(I)

7 July 2026

• curprev 18:5218:52, 7 July 2026 Tjligocki talk contribs m 1,289 bytes 0 →Holdouts: Update BB(2,7) enumeration Tag: Visual edit

5 July 2026

• curprev 22:4022:40, 5 July 2026 Tjligocki talk contribs m 1,289 bytes 0 →Holdouts: Update BB(2,7) enumeration Tag: Visual edit
• curprev 22:3422:34, 5 July 2026 Tjligocki talk contribs m 1,289 bytes 0 →Holdouts: Update BB(2,7) enumeration Tag: Visual edit

3 July 2026

• curprev 22:0622:06, 3 July 2026 Tjligocki talk contribs m 1,289 bytes 0 →Holdouts: Update BB(2,7) enumeration Tag: Visual edit
• curprev 16:1116:11, 3 July 2026 Polygon talk contribs 1,289 bytes +166 →Holdouts: New solved TM
• curprev 16:0916:09, 3 July 2026 Polygon talk contribs 1,123 bytes +142 Added new SK calculus champions

2 July 2026

• curprev 15:0915:09, 2 July 2026 Polygon talk contribs 981 bytes +242 Added solved BB(6) holdouts
• curprev 15:0115:01, 2 July 2026 Polygon talk contribs 739 bytes +739 Created page with "{{TMBRnav|June 2026|August 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(4,3): ** Andrew Ducharme reduced the number of holdouts from 4,784,443 to '''4,776,646''', a '''0.16%''' reduction.<sup>[https://discord.com/channels/960643023006490684/1084047886494470185/1522168741922607164]</su..."