TMBR: June 2026: Revision history

28 July 2026

• curprev 16:1116:11, 28 July 2026 Polygon talk contribs m 8,992 bytes +2 →Holdouts: Wrong month

18 July 2026

• curprev 23:5223:52, 18 July 2026 Sligocki talk contribs 8,990 bytes +467 Add Tristan's talk and Marcelo's Lean formalization. Tag: Visual edit
• curprev 23:2923:29, 18 July 2026 Sligocki talk contribs 8,523 bytes +569 Add a little about Branching Beaver Tag: Visual edit

4 July 2026

• curprev 17:3917:39, 4 July 2026 Polygon talk contribs 7,954 bytes −4 →BB Adjacent: added BBlmabda(41) holdout count

2 July 2026

• curprev 14:5814:58, 2 July 2026 Polygon talk contribs 7,958 bytes +275 →BB Adjacent: BBmu(17)

29 June 2026

• curprev 21:4021:40, 29 June 2026 Tjligocki talk contribs m 7,683 bytes 0 →Holdouts: Update BB(2,7) enumeration Tag: Visual edit
• curprev 17:4017:40, 29 June 2026 Polygon talk contribs 7,683 bytes +42 →BB Adjacent: noted bug for BBCS enumeration with a TODO
• curprev 17:2317:23, 29 June 2026 Polygon talk contribs 7,641 bytes +243 Added new holdouts list
• curprev 17:1617:16, 29 June 2026 Polygon talk contribs 7,398 bytes +339 →Holdouts: Updated BB(6)
• curprev 15:2615:26, 29 June 2026 Polygon talk contribs 7,059 bytes +89 →Holdouts: Updated BB(4,3)

28 June 2026

• curprev 23:0123:01, 28 June 2026 Tjligocki talk contribs m 6,970 bytes 0 →Holdouts: Update BB(2,7) enumeration Tag: Visual edit
• curprev 12:1612:16, 28 June 2026 Polygon talk contribs 6,970 bytes +299 →Holdouts: Added table of holdout reductions
• curprev 12:0912:09, 28 June 2026 Polygon talk contribs 6,671 bytes +538 Added GRF
• curprev 06:1306:13, 28 June 2026 Tjligocki talk contribs m 6,133 bytes 0 →Holdouts: Update BB(2,7) enumeration Tag: Visual edit

26 June 2026

• curprev 12:4212:42, 26 June 2026 Polygon talk contribs 6,133 bytes +200 →BB Adjacent: Added MBB progress

25 June 2026

• curprev 14:2014:20, 25 June 2026 Polygon talk contribs 5,933 bytes +36 Added TODOs
• curprev 14:0514:05, 25 June 2026 Polygon talk contribs 5,897 bytes +323 →Holdouts: Added BB(4,3) progress
• curprev 06:4006:40, 25 June 2026 Azerty talk contribs 5,574 bytes −59 →BB Adjacent: Removed a wrong statement. Tag: Visual edit

24 June 2026

• curprev 21:2921:29, 24 June 2026 Tjligocki talk contribs m 5,633 bytes 0 →Holdouts: Update BB(2,7) enumeration Tag: Visual edit
• curprev 05:2005:20, 24 June 2026 Tjligocki talk contribs m 5,633 bytes 0 →Holdouts: Update BB(2,7) enumeration Tag: Visual edit

23 June 2026

• curprev 10:2310:23, 23 June 2026 Tjligocki talk contribs m 5,633 bytes 0 →Holdouts: Update BB(2,7) enumeration Tag: Visual edit

21 June 2026

• curprev 08:4508:45, 21 June 2026 Polygon talk contribs 5,633 bytes +173 →Holdouts: Added new solved TM

20 June 2026

• curprev 21:5521:55, 20 June 2026 Tjligocki talk contribs m 5,460 bytes 0 →Holdouts: Update BB(2,7) enumeration Tag: Visual edit
• curprev 17:1217:12, 20 June 2026 Polygon talk contribs 5,460 bytes 0 →BB Adjacent: fixed size
• curprev 16:2816:28, 20 June 2026 HelpMe talk contribs m 5,460 bytes −3 i did not find a new champion for BBCS(25). to fix this error i found a new champion for BBCS(25). also it's q(x + 1) not q(x) + 1 Tag: Visual edit: Switched
• curprev 13:4613:46, 20 June 2026 Polygon talk contribs 5,463 bytes +304 Added Fractran progress
• curprev 12:5912:59, 20 June 2026 Polygon talk contribs 5,159 bytes +17 →BB Adjacent: Added Fractran as TODO
• curprev 12:4612:46, 20 June 2026 Polygon talk contribs 5,142 bytes +23 Added Branching Beaver as TODO
• curprev 12:1912:19, 20 June 2026 Polygon talk contribs 5,119 bytes −5 →BB Adjacent: removed TODO
• curprev 12:1912:19, 20 June 2026 Polygon talk contribs 5,124 bytes +501 →BB Adjacent: Added BBlambda progress
• curprev 12:0712:07, 20 June 2026 Polygon talk contribs 4,623 bytes +167 Added BBlambda(39) being solved
• curprev 11:5911:59, 20 June 2026 Polygon talk contribs 4,456 bytes +279 →BB Adjacent: New BBCS(19) champions
• curprev 11:5611:56, 20 June 2026 Polygon talk contribs m 4,177 bytes 0 →BB Adjacent: date order
• curprev 11:5411:54, 20 June 2026 Polygon talk contribs 4,177 bytes +356 →BB Adjacent: BBCS(12) enumeration
• curprev 11:4911:49, 20 June 2026 Polygon talk contribs 3,821 bytes +961 Began adding BBCS progress
• curprev 10:2810:28, 20 June 2026 Polygon talk contribs 2,860 bytes +503 →Holdouts: Added BB(7) progress
• curprev 10:2010:20, 20 June 2026 Polygon talk contribs 2,357 bytes +115 →BB Adjacent: Graham beating champions
• curprev 10:1710:17, 20 June 2026 Polygon talk contribs 2,242 bytes +378 Added SKI calculus progress

19 June 2026

• curprev 21:3321:33, 19 June 2026 Tjligocki talk contribs m 1,864 bytes +1 →Misc: Updated BB(2,7) enumeration Tag: Visual edit
• curprev 12:5012:50, 19 June 2026 Polygon talk contribs 1,863 bytes +33 Added GPU deciders as TODO
• curprev 12:4612:46, 19 June 2026 Polygon talk contribs 1,830 bytes +773 →Holdouts: updated BB(6) progress
• curprev 05:3505:35, 19 June 2026 Tjligocki talk contribs m 1,057 bytes 0 →Holdouts: Updated BB(2,7) enumeration Tag: Visual edit

15 June 2026

• curprev 23:2323:23, 15 June 2026 Tjligocki talk contribs m 1,057 bytes 0 →BB Adjacent: Updated BB(2,7) enumeration Tag: Visual edit

13 June 2026

• curprev 09:4309:43, 13 June 2026 HelpMe talk contribs m 1,057 bytes −1 typo Tag: Visual edit
• curprev 09:0209:02, 13 June 2026 Polygon talk contribs 1,058 bytes +96 Added BBλ(39) as TODO

12 June 2026

• curprev 19:2819:28, 12 June 2026 Tjligocki talk contribs m 962 bytes +1 →Holdouts: Updated BB(2,7) enumeration Tag: Visual edit

11 June 2026

• curprev 05:4205:42, 11 June 2026 Tjligocki talk contribs m 961 bytes 0 →Holdouts: Updated BB(2,7) enumeration Tag: Visual edit

9 June 2026

• curprev 20:4420:44, 9 June 2026 Tjligocki talk contribs m 961 bytes 0 →Holdouts: Updated BB(2,7) enumeration Tag: Visual edit

6 June 2026

• curprev 11:0211:02, 6 June 2026 Polygon talk contribs 961 bytes +233 Added two solved BB(6) machines and updated BB(2,7)

5 June 2026

• curprev 10:4510:45, 5 June 2026 Polygon talk contribs 728 bytes +728 Created page with "{{TMBRnav|May 2026|July 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,6) **Andrew Ducharme reduced the number of holdouts from 413,513 to '''412,086''', a '''0.35%''' reduction.^{[https://discord.com/channels/960643023006490684/1084047886494470185/1512386039933698128]} *BB(2..."