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
19 October 2026
| 15:10 | BB(7) diffhist −3 HelpMe talk contribs (reference to unknown or undefined function) | ||||
| 13:24 | BB(2,6) diffhist +126 Polygon talk contribs (→Stage 4: Added new reduction) | ||||
18 October 2026
17 October 2026
|
|
20:35 | BB(2,5) 3 changes history +7 [Yves30. (3×)] | |||
|
|
20:35 (cur | prev) +6 Yves30. talk contribs (Minor edit: add missing word) Tag: Visual edit | ||||
|
|
20:14 (cur | prev) +1 Yves30. talk contribs (Add missing parenthesis to last corrected formula) Tag: Visual edit | ||||
|
|
20:11 (cur | prev) 0 Yves30. talk contribs (Minor change: last analyzed TM expected to halt in exp(exp(O(n))) steps, not exp(exp(O(1)))) Tag: Visual edit | ||||
|
|
17:42 | BB(4,3) 4 changes history +404 [Polygon; ADucharme (3×)] | |||
| m |
|
17:42 (cur | prev) 0 ADucharme talk contribs (→Stage 3: update cumulative progress) Tag: Visual edit | |||
| m |
|
17:41 (cur | prev) +26 ADucharme talk contribs (→Stage 3: text-align name) | |||
| m |
|
17:40 (cur | prev) +257 ADucharme talk contribs (→Stage 3: add new (bad) decider run, enter some decider compute times) Tag: Visual edit | |||
|
|
13:27 (cur | prev) +121 Polygon talk contribs (→Stage 3: added missing reduction) | ||||
| m 16:33 | BB(2,6) diffhist +12 ADucharme talk contribs (→Stage 4: added approximate run time for last three runs) | ||||
|
|
14:19 | BB(6) 3 changes history +25 [HelpMe; XnoobSpeakable (2×)] | |||
|
|
14:19 (cur | prev) +40 XnoobSpeakable talk contribs (fix archive) | ||||
|
|
14:17 (cur | prev) −69 XnoobSpeakable talk contribs (archiving one discord message) Tag: Visual edit | ||||
|
|
13:01 (cur | prev) +54 HelpMe talk contribs (linked the arrow stuff. yeah) Tag: Visual edit | ||||
16 October 2026
|
|
17:46 | BB(2,5) 4 changes history +620 [Polygon; Yves30. (3×)] | |||
|
|
17:46 (cur | prev) +18 Polygon talk contribs (Added references section) | ||||
|
|
07:22 (cur | prev) +3 Yves30. talk contribs (Reformulation (last solved TM has been found halting by a Rocq-certified longitudinal simulator)) Tag: Visual edit | ||||
|
|
07:11 (cur | prev) +13 Yves30. talk contribs (Moving the last solved TM to the formally proven section) Tag: Visual edit | ||||
|
|
07:06 (cur | prev) +586 Yves30. talk contribs (Update info of last solved halting TM: it has been solved by a longitudinal simulator, halting proof confirmed in Rocq) Tag: Visual edit | ||||
|
|
17:25 | BB(6) 2 changes history +190 [Qwertyasdf; Polygon] | |||
|
|
17:25 (cur | prev) 0 Polygon talk contribs (→History: Updated holdout counts) | ||||
|
|
00:12 (cur | prev) +190 Qwertyasdf talk contribs (AI) Tag: Visual edit | ||||
15 October 2026
| 11:25 | BB(6) diffhist 0 Yves30. talk contribs (update nb of holdouts to 698) | ||||
|
|
11:11 | BB(2,5) 2 changes history +455 [Yves30. (2×)] | |||
|
|
11:11 (cur | prev) +165 Yves30. talk contribs (New analysis on a yet unsolved TM: expected to halt in double exponential nb of steps) Tag: Visual edit | ||||
|
|
11:02 (cur | prev) +290 Yves30. talk contribs (Update: new halting TM discovered, add it to top halters.) Tag: Visual edit | ||||