Search results
Jump to navigation
Jump to search
- Rules proved and nonhalting proof attempted by DrDisentangle, see https://github.com/rwst/bbchallenge/tree/main/1RB---0RB0LA2RA_2LB2LA3R ...498 bytes (77 words) - 18:02, 24 April 2026
- == Analysis by Opus 4.7 / DrDisentangle == ...4 KB (495 words) - 17:59, 24 April 2026
- == Some analysis by Opus 4.7 / DrDisentangle == ...5 KB (704 words) - 17:53, 24 April 2026
- == Analysis by Opus 4.7 / DrDisentangle == ...5 KB (643 words) - 10:01, 30 April 2026
- = Formal proofs by Opus 4.6/DrDisentangle = ...5 KB (922 words) - 14:33, 16 April 2026
- ...to be a probviously non-halting [[Cryptid]] similar to [[Space Needle]] by DrDisentangle. ...9 KB (1,001 words) - 02:26, 17 April 2026
- |mxdys, shown to be a Cryptid by DrDisentangle ...11 KB (1,705 words) - 19:19, 9 April 2026
- ...4.6, based on the Lean proofs and proof attempts, managed by Discord user DrDisentangle. ...18 KB (2,267 words) - 08:30, 10 May 2026