BB(3,3): Revision history

11 August 2025

• curprev 10:4910:49, 11 August 2025‎ Polygon talk contribs‎ 8,821 bytes +27‎ Added link to "champions"

10 August 2025

• curprev 23:4323:43, 10 August 2025‎ Polygon talk contribs‎ 8,794 bytes +1‎ Prepare Category move of BB-domains

25 June 2025

• curprev 00:2100:21, 25 June 2025‎ Fr tho talk contribs‎ 8,793 bytes −54‎ Update formatting Tag: Visual edit

17 May 2025

• curprev 12:0412:04, 17 May 2025‎ Fr tho talk contribs‎ m 8,847 bytes −10‎ Style
• curprev 11:2911:29, 17 May 2025‎ Fr tho talk contribs‎ 8,857 bytes +127‎ Update halters list format for consistency
• curprev 11:2111:21, 17 May 2025‎ Fr tho talk contribs‎ 8,730 bytes −68‎ Update

20 March 2025

• curprev 22:0022:00, 20 March 2025‎ Tjligocki talk contribs‎ 8,798 bytes +190‎ Added a sentence to update my work on the 3x3 holdouts
• curprev 19:4319:43, 20 March 2025‎ Tjligocki talk contribs‎ m 8,608 bytes +1‎ Changed "tligocki" to "tjligocki"

3 March 2025

• curprev 20:3520:35, 3 March 2025‎ ADucharme talk contribs‎ m 8,607 bytes +13‎ →‎Unsolved: added name of TM Tag: Visual edit

27 February 2025

• curprev 22:2122:21, 27 February 2025‎ C7X talk contribs‎ 8,594 bytes 0‎ Year seems wrong →‎Holdouts
• curprev 15:2315:23, 27 February 2025‎ Sligocki talk contribs‎ m 8,594 bytes −2‎ →‎Certified Progress Tag: Visual edit
• curprev 07:4707:47, 27 February 2025‎ ADucharme talk contribs‎ 8,596 bytes +503‎ updated text to reflect solved machines from Coq deciders. Major reorganization of Holdouts section, including removing any notion of "groups" of TMs. Tag: Visual edit
• curprev 07:1207:12, 27 February 2025‎ ADucharme talk contribs‎ m 8,093 bytes +25‎ →‎Certified Progress: reformatted previous holdout history Tag: Visual edit
• curprev 06:5906:59, 27 February 2025‎ ADucharme talk contribs‎ m 8,068 bytes +3‎ →‎Holdouts: stopped calling machine 637 "related" to group 1 because it's not connected in the same way all the Group 1 machines are Tag: Visual edit

6 February 2025

• curprev 18:3218:32, 6 February 2025‎ Sligocki talk contribs‎ 8,065 bytes +23‎ Add domain category Tag: Visual edit

20 January 2025

• curprev 18:4518:45, 20 January 2025‎ Peacemaker II talk contribs‎ m 8,042 bytes +8‎ No edit summary Tag: Visual edit
• curprev 16:1016:10, 20 January 2025‎ Peacemaker II talk contribs‎ 8,034 bytes +25‎ No edit summary

14 January 2025

• curprev 06:0106:01, 14 January 2025‎ ADucharme talk contribs‎ m 8,009 bytes −16‎ →‎Holdouts: formatting changes Tag: Visual edit

10 January 2025

• curprev 16:3916:39, 10 January 2025‎ ADucharme talk contribs‎ 8,025 bytes +116‎ →‎Holdouts: 279 comment fix to add link to long. analysis Tag: Visual edit
• curprev 08:1108:11, 10 January 2025‎ ADucharme talk contribs‎ 7,909 bytes +244‎ →‎Holdouts: Found Coq proof for TM 400 in discord, moved TM to solved section Tag: Visual edit
• curprev 07:5607:56, 10 January 2025‎ ADucharme talk contribs‎ m 7,665 bytes +136‎ →‎Holdouts: 867 links Tag: Visual edit
• curprev 07:4607:46, 10 January 2025‎ ADucharme talk contribs‎ m 7,529 bytes +322‎ →‎Holdouts: 637 links Tag: Visual edit
• curprev 07:4307:43, 10 January 2025‎ ADucharme talk contribs‎ m 7,207 bytes +19‎ →‎Holdouts: Warning statement on 279 Tag: Visual edit
• curprev 07:3007:30, 10 January 2025‎ ADucharme talk contribs‎ 7,188 bytes +22‎ →‎Holdouts: Corrected myself, moved Rae and Peacemaker's convo from 818 to 816 Tag: Visual edit
• curprev 07:2807:28, 10 January 2025‎ ADucharme talk contribs‎ 7,166 bytes +293‎ →‎Holdouts: Added description of dependencies of Group 1 non-halting machines Tag: Visual edit
• curprev 07:2107:21, 10 January 2025‎ ADucharme talk contribs‎ 6,873 bytes −11‎ →‎Holdouts: changed the label on the members of the holdout list who have a coq proof or were decided and received a certificate Tag: Visual edit
• curprev 07:1607:16, 10 January 2025‎ ADucharme talk contribs‎ m 6,884 bytes +290‎ →‎Holdouts: 642/832 links Tag: Visual edit
• curprev 07:0607:06, 10 January 2025‎ ADucharme talk contribs‎ m 6,594 bytes +122‎ →‎Holdouts: 650 machine proof link Tag: Visual edit
• curprev 07:0407:04, 10 January 2025‎ ADucharme talk contribs‎ m 6,472 bytes +254‎ →‎Holdouts: Added Daniel's expert discussion of machine 543 Tag: Visual edit
• curprev 06:5906:59, 10 January 2025‎ ADucharme talk contribs‎ m 6,218 bytes +150‎ →‎Holdouts: added link to discussion about 818 Tag: Visual edit
• curprev 06:4106:41, 10 January 2025‎ ADucharme talk contribs‎ 6,068 bytes +134‎ →‎Holdouts: added link to 412 proof Tag: Visual edit
• curprev 06:3606:36, 10 January 2025‎ ADucharme talk contribs‎ 5,934 bytes +10‎ →‎Holdouts: Changed section title on holdout list to reflect progress Tag: Visual edit
• curprev 06:2306:23, 10 January 2025‎ ADucharme talk contribs‎ 5,924 bytes +262‎ →‎Holdouts: Included links to analysis of machines 21 and 92 Tag: Visual edit

6 January 2025

• curprev 14:4414:44, 6 January 2025‎ ADucharme talk contribs‎ m 5,662 bytes +67‎ →‎Holdouts: note on the machine in the 7 2024 list Tag: Visual edit
• curprev 14:4314:43, 6 January 2025‎ ADucharme talk contribs‎ 5,595 bytes +122‎ Found the TM certified but on the July 2024 holdout list, noted it Tag: Visual edit
• curprev 14:3514:35, 6 January 2025‎ ADucharme talk contribs‎ 5,473 bytes +1,000‎ Added tligocki's big enumeration and the certified progress that Legion surfaced Tag: Visual edit

8 October 2024

• curprev 04:4104:41, 8 October 2024‎ Int-y1 talk contribs‎ 4,473 bytes +135‎ add new section

5 October 2024

• curprev 00:2000:20, 5 October 2024‎ Int-y1 talk contribs‎ 4,338 bytes +85‎ more info for group 1

2 October 2024

• curprev 09:2409:24, 2 October 2024‎ Int-y1 talk contribs‎ m 4,253 bytes −6‎ No edit summary
• curprev 09:2309:23, 2 October 2024‎ Int-y1 talk contribs‎ 4,259 bytes −100‎ move group 1 to less rigorous proof
• curprev 04:5504:55, 2 October 2024‎ Int-y1 talk contribs‎ 4,359 bytes +136‎ move 412 and 650 closer to proved

25 August 2024

• curprev 23:5623:56, 25 August 2024‎ Tjligocki talk contribs‎ m 4,223 bytes +19‎ Added a link for Terry Ligocki.

13 August 2024

• curprev 11:2111:21, 13 August 2024‎ DF376 talk contribs‎ 4,204 bytes +220‎ →‎Holdouts
• curprev 11:1911:19, 13 August 2024‎ DF376 talk contribs‎ m 3,984 bytes −12‎ No edit summary Tag: Visual edit
• curprev 11:1911:19, 13 August 2024‎ DF376 talk contribs‎ 3,996 bytes +79‎ No edit summary Tag: Visual edit: Switched
• curprev 11:1711:17, 13 August 2024‎ DF376 talk contribs‎ 3,917 bytes +15‎ No edit summary

30 July 2024

• curprev 04:2204:22, 30 July 2024‎ Int-y1 talk contribs‎ 3,902 bytes +40‎ make groups

17 July 2024

• curprev 02:4802:48, 17 July 2024‎ Sligocki talk contribs‎ 3,862 bytes +120‎ Not solved, but maybe a halting cryptid. Tag: Visual edit
• curprev 00:5800:58, 17 July 2024‎ ADucharme talk contribs‎ 3,742 bytes +6‎ →‎Holdouts: moved machines 153=758 from Unsolved to Less rigorous solution/proof Tag: Visual edit

15 July 2024

• curprev 03:4903:49, 15 July 2024‎ Sligocki talk contribs‎ 3,736 bytes +3,736‎ Created page with "The 3-state, 3-symbol Busy Beaver problem '''BB(3,3)''' is unsolved. With the discovery of Bigfoot in 2023, we now know that we must solve a Collatz-like problem in order to solve BB(3,3) and thus [https://www.sligocki.com/2023/10/16/bb-3-3-is-hard.html BB(3,3) is Hard]. The current BB(3,3) champion {{TM|0RB2LA1RA_1LA2RB1RC_1RZ1LB1LC}} was discovered by Terry and Shawn Ligocki in 2007, proving the lower bounds: <math display="block">\begin{arr..."