Search results
Jump to navigation
Jump to search
- = Further Analysis (Pomme, Autumn Pan, et al.) = ...ult to prove using computer proof assistants. Simulators written by Autumn Pan, Pomme, and vyx7 were used to verify the inequality for all <math>50\le i \ ...5 KB (922 words) - 14:33, 16 April 2026
- * RobinCodes and Autumn Pan were [https://discord.com/channels/960643023006490684/960643023530762341/14 ...9 KB (1,001 words) - 02:26, 17 April 2026
- ...295684878143579 a machine was formally proven nonhalting] by Pomme, Autumn Pan, vyx and mxdys. However, this result is yet to be verified. ...8 KB (1,059 words) - 18:31, 11 April 2026