Related changes
Jump to navigation
Jump to search
Enter a page name to see changes on pages linked to or from that page. (To see members of a category, enter Category:Name of category). Changes to pages on your Watchlist are in bold.
List of abbreviations:
- N
- This edit created a new page (also see list of new pages)
- m
- This is a minor edit
- b
- This edit was performed by a bot
- (±123)
- The page size changed by this number of bytes
3 October 2026
|
|
11:00 | BB(2,5) 4 changes history +433 [Yves30.; Loader3229 (3×)] | |||
|
|
11:00 (cur | prev) −3 Yves30. talk contribs (Update holdouts section introduction. Change top 20 halters list to top 22 (didn't delete the last 2 since the 2 newly introduced are yet to be independently verified)) Tag: Visual edit | ||||
|
|
01:12 (cur | prev) +172 Loader3229 talk contribs (→Holdouts) | ||||
|
|
01:10 (cur | prev) +132 Loader3229 talk contribs (→Top Halters) | ||||
|
|
01:09 (cur | prev) +132 Loader3229 talk contribs (→Top Halters) | ||||
2 October 2026
|
|
07:40 | BB(2,5) 2 changes history +97 [Yves30. (2×)] | |||
|
|
07:40 (cur | prev) +7 Yves30. talk contribs (add formal to the 60 holdouts list) Tag: Visual edit | ||||
|
|
07:39 (cur | prev) +90 Yves30. talk contribs (Add discord link for the newly solved 20 nonhalting TMs) Tag: Visual edit | ||||
1 October 2026
|
|
23:00 | BB(2,5) 9 changes history +481 [Δ⁵; Yves30. (8×)] | |||
| m |
|
23:00 (cur | prev) 0 Yves30. talk contribs Tag: Visual edit | |||
|
|
21:00 (cur | prev) +13 Yves30. talk contribs (Reformulation of holdouts section introduction) Tag: Visual edit | ||||
|
|
20:32 (cur | prev) +96 Yves30. talk contribs (Reformulation of holdouts introduction) Tag: Visual edit | ||||
|
|
20:25 (cur | prev) +165 Yves30. talk contribs (Number of formal and informal holdouts precised in introduction to the Holdouts section.) Tag: Visual edit | ||||
|
|
16:34 (cur | prev) +26 Yves30. talk contribs (Recently solved holdouts: Precisions about respective roles of GPT6 and Aristotle) Tag: Visual edit | ||||
|
|
15:01 (cur | prev) +57 Yves30. talk contribs (Precision about how the 21 recently solved holdouts were found: most by GPT6 but with processing using Aristotle) Tag: Visual edit | ||||
| m |
|
13:56 (cur | prev) −535 Δ⁵ talk contribs (→Certified progress: Uncertified; already in "solved with moderate rigour") | |||
|
|
13:52 (cur | prev) +158 Yves30. talk contribs (Changes and precisions about the 21 recently solved holdouts pending verification: GPT6, not Aristotle, used for 18 of them) Tag: Visual edit | ||||
|
|
11:11 (cur | prev) +501 Yves30. talk contribs (Update: additional halting TM solved using Aristotle. 39 potential holdouts.) Tag: Visual edit | ||||