https://wiki.bbchallenge.org/w/index.php?action=history&feed=atom&title=BB%282%2C5%29 BB(2,5) - Revision history 2026-11-05T08:07:31Z Revision history for this page on the wiki MediaWiki 1.43.5 https://wiki.bbchallenge.org/w/index.php?title=BB(2,5)&diff=10112&oldid=prev Yves30.: another minor precision (last Rocq confirmations by @mxdys) 2026-11-03T12:55:58Z <p>another minor precision (last Rocq confirmations by @mxdys)</p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 12:55, 3 November 2026</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l292">Line 292:</td> <td colspan="2" class="diff-lineno">Line 292:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>=== Formally proven ===</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>=== Formally proven ===</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>The 22 following machines have respectively 2 halting and 20 non-halting proofs formalized in Lean by [https://discord.com/channels/960643023006490684/1259770421046411285/1552990521650319453 @prurq], using AI agents Aristotle (solved 4 of them, mentioned in the list) and GPT6 (solved 18 of them, with information processing and proof formalization using Aristotle). Their proofs have been confirmed in Rocq <del style="font-weight: bold; text-decoration: none;">as of </del>[https://discord.com/channels/960643023006490684/1259770421046411285/1567052029430595584 3 November 2026]:</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>The 22 following machines have respectively 2 halting and 20 non-halting proofs formalized in Lean by [https://discord.com/channels/960643023006490684/1259770421046411285/1552990521650319453 @prurq], using AI agents Aristotle (solved 4 of them, mentioned in the list) and GPT6 (solved 18 of them, with information processing and proof formalization using Aristotle). Their proofs have been confirmed in Rocq <ins style="font-weight: bold; text-decoration: none;">by @mxdys on </ins>[https://discord.com/channels/960643023006490684/1259770421046411285/1567052029430595584 3 November 2026]:</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>*{{TM|1RB4RA1LA4RB2LA_2LB3LA1RB2RA---|undecided}}. Solved using Aristotle. Expected to halt in 5.6 x 10&lt;sup&gt;53&lt;/sup&gt; steps [https://discord.com/channels/960643023006490684/1259770421046411285/1555690509245087827 (prurq)].</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>*{{TM|1RB4RA1LA4RB2LA_2LB3LA1RB2RA---|undecided}}. Solved using Aristotle. Expected to halt in 5.6 x 10&lt;sup&gt;53&lt;/sup&gt; steps [https://discord.com/channels/960643023006490684/1259770421046411285/1555690509245087827 (prurq)].</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <!-- diff cache key mediawiki:diff:1.41:old-10110:rev-10112:php=table --> </table> Yves30. https://wiki.bbchallenge.org/w/index.php?title=BB(2,5)&diff=10110&oldid=prev Yves30.: Minor precision (# of holdouts from 83 list already proven before last Nov 3 official 37 holdouts release) 2026-11-03T12:53:49Z <p>Minor precision (# of holdouts from 83 list already proven before last Nov 3 official 37 holdouts release)</p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 12:53, 3 November 2026</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l319">Line 319:</td> <td colspan="2" class="diff-lineno">Line 319:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB2LA3LB4LB---_0LA4LB3RA4LA0RB|undecided}}. Fractal?  </div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB2LA3LB4LB---_0LA4LB3RA4LA0RB|undecided}}. Fractal?  </div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>The following machines were proven before the last 3 November 2026 release:</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>The <ins style="font-weight: bold; text-decoration: none;">24 </ins>following machines were proven before the last 3 November 2026 release:</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>*{{TM|1RB3LA1LA2RB2LB_1LB2RA4RA0RB---|undecided}}. Halts in ~ 10&lt;sup&gt;198&lt;/sup&gt; steps [https://discord.com/channels/960643023006490684/1259770421046411285/1558226290509742082 (prurq)], using a [https://discord.com/channels/960643023006490684/1259770421046411285/1560264094760575088 Rocq-certified longitudinal simulator]. [https://discord.com/channels/960643023006490684/1395820706050080869/1395820706050080869 Block analysis by @dyuan by &quot;impurity score&quot;]</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>*{{TM|1RB3LA1LA2RB2LB_1LB2RA4RA0RB---|undecided}}. Halts in ~ 10&lt;sup&gt;198&lt;/sup&gt; steps [https://discord.com/channels/960643023006490684/1259770421046411285/1558226290509742082 (prurq)], using a [https://discord.com/channels/960643023006490684/1259770421046411285/1560264094760575088 Rocq-certified longitudinal simulator]. [https://discord.com/channels/960643023006490684/1395820706050080869/1395820706050080869 Block analysis by @dyuan by &quot;impurity score&quot;]</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>*{{TM|1RB2RA3LA4LA2RB_2LA---1LA1RA3RA|undecided}}. [https://discord.com/channels/960643023006490684/1084047886494470185/1254518334406266964 Longitudinal analysis by @Legion implies halting], [https://discord.com/channels/960643023006490684/1259770421046411285/1492999358482874448 simulated until halt by prurq using Quick_Sim]. [https://discord.com/channels/960643023006490684/1259770421046411285/1546880921318326282 Rocq-decided by @mxdys.]</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>*{{TM|1RB2RA3LA4LA2RB_2LA---1LA1RA3RA|undecided}}. [https://discord.com/channels/960643023006490684/1084047886494470185/1254518334406266964 Longitudinal analysis by @Legion implies halting], [https://discord.com/channels/960643023006490684/1259770421046411285/1492999358482874448 simulated until halt by prurq using Quick_Sim]. [https://discord.com/channels/960643023006490684/1259770421046411285/1546880921318326282 Rocq-decided by @mxdys.]</div></td></tr> <!-- diff cache key mediawiki:diff:1.41:old-10109:rev-10110:php=table --> </table> Yves30. https://wiki.bbchallenge.org/w/index.php?title=BB(2,5)&diff=10109&oldid=prev Yves30. at 12:50, 3 November 2026 2026-11-03T12:50:57Z <p></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 12:50, 3 November 2026</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l318">Line 318:</td> <td colspan="2" class="diff-lineno">Line 318:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB2LA0RB4LB0LA_1LA3LA1RA4RA---|undecided}}. Solved using Aristotle. [https://discord.com/channels/960643023006490684/1471178503235043493/1471206925096980664 Does not halt in 1e13 steps.] [https://discord.com/channels/960643023006490684/1489363702560849920/1489363702560849920 Longitudinal Analysis by dyuan.]</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB2LA0RB4LB0LA_1LA3LA1RA4RA---|undecided}}. Solved using Aristotle. [https://discord.com/channels/960643023006490684/1471178503235043493/1471206925096980664 Does not halt in 1e13 steps.] [https://discord.com/channels/960643023006490684/1489363702560849920/1489363702560849920 Longitudinal Analysis by dyuan.]</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB2LA3LB4LB---_0LA4LB3RA4LA0RB|undecided}}. Fractal?  </div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB2LA3LB4LB---_0LA4LB3RA4LA0RB|undecided}}. Fractal?  </div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">*</del></div></td><td colspan="2" class="diff-side-added"></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">* The machines proven before this last 3 November 2026 release are the following:</del></div></td><td colspan="2" class="diff-side-added"></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">*</del></div></td><td colspan="2" class="diff-side-added"></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">The following machines were proven before the last 3 November 2026 release:</ins></div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>*{{TM|1RB3LA1LA2RB2LB_1LB2RA4RA0RB---|undecided}}. Halts in ~ 10&lt;sup&gt;198&lt;/sup&gt; steps [https://discord.com/channels/960643023006490684/1259770421046411285/1558226290509742082 (prurq)], using a [https://discord.com/channels/960643023006490684/1259770421046411285/1560264094760575088 Rocq-certified longitudinal simulator]. [https://discord.com/channels/960643023006490684/1395820706050080869/1395820706050080869 Block analysis by @dyuan by &quot;impurity score&quot;]</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>*{{TM|1RB3LA1LA2RB2LB_1LB2RA4RA0RB---|undecided}}. Halts in ~ 10&lt;sup&gt;198&lt;/sup&gt; steps [https://discord.com/channels/960643023006490684/1259770421046411285/1558226290509742082 (prurq)], using a [https://discord.com/channels/960643023006490684/1259770421046411285/1560264094760575088 Rocq-certified longitudinal simulator]. [https://discord.com/channels/960643023006490684/1395820706050080869/1395820706050080869 Block analysis by @dyuan by &quot;impurity score&quot;]</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>*{{TM|1RB2RA3LA4LA2RB_2LA---1LA1RA3RA|undecided}}. [https://discord.com/channels/960643023006490684/1084047886494470185/1254518334406266964 Longitudinal analysis by @Legion implies halting], [https://discord.com/channels/960643023006490684/1259770421046411285/1492999358482874448 simulated until halt by prurq using Quick_Sim]. [https://discord.com/channels/960643023006490684/1259770421046411285/1546880921318326282 Rocq-decided by @mxdys.]</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>*{{TM|1RB2RA3LA4LA2RB_2LA---1LA1RA3RA|undecided}}. [https://discord.com/channels/960643023006490684/1084047886494470185/1254518334406266964 Longitudinal analysis by @Legion implies halting], [https://discord.com/channels/960643023006490684/1259770421046411285/1492999358482874448 simulated until halt by prurq using Quick_Sim]. [https://discord.com/channels/960643023006490684/1259770421046411285/1546880921318326282 Rocq-decided by @mxdys.]</div></td></tr> <!-- diff cache key mediawiki:diff:1.41:old-10108:rev-10109:php=table --> </table> Yves30. https://wiki.bbchallenge.org/w/index.php?title=BB(2,5)&diff=10108&oldid=prev Yves30. at 12:28, 3 November 2026 2026-11-03T12:28:33Z <p></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 12:28, 3 November 2026</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l317">Line 317:</td> <td colspan="2" class="diff-lineno">Line 317:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB2LA0RB---4LA_1LA3LA1RA4RA1LB|undecided}}. Solved using Aristotle. [https://discord.com/channels/960643023006490684/1259770421046411285/1329629220795715674 Analysis by @racheline]</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB2LA0RB---4LA_1LA3LA1RA4RA1LB|undecided}}. Solved using Aristotle. [https://discord.com/channels/960643023006490684/1259770421046411285/1329629220795715674 Analysis by @racheline]</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB2LA0RB4LB0LA_1LA3LA1RA4RA---|undecided}}. Solved using Aristotle. [https://discord.com/channels/960643023006490684/1471178503235043493/1471206925096980664 Does not halt in 1e13 steps.] [https://discord.com/channels/960643023006490684/1489363702560849920/1489363702560849920 Longitudinal Analysis by dyuan.]</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB2LA0RB4LB0LA_1LA3LA1RA4RA---|undecided}}. Solved using Aristotle. [https://discord.com/channels/960643023006490684/1471178503235043493/1471206925096980664 Does not halt in 1e13 steps.] [https://discord.com/channels/960643023006490684/1489363702560849920/1489363702560849920 Longitudinal Analysis by dyuan.]</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB2LA3LB4LB---_0LA4LB3RA4LA0RB|undecided}}. Fractal? The machines proven before this last 3 November 2026 release are the following:</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB2LA3LB4LB---_0LA4LB3RA4LA0RB|undecided}}. Fractal?  </div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">*</ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* </ins>The machines proven before this last 3 November 2026 release are the following:</div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">*</ins></div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>*{{TM|1RB3LA1LA2RB2LB_1LB2RA4RA0RB---|undecided}}. Halts in ~ 10&lt;sup&gt;198&lt;/sup&gt; steps [https://discord.com/channels/960643023006490684/1259770421046411285/1558226290509742082 (prurq)], using a [https://discord.com/channels/960643023006490684/1259770421046411285/1560264094760575088 Rocq-certified longitudinal simulator]. [https://discord.com/channels/960643023006490684/1395820706050080869/1395820706050080869 Block analysis by @dyuan by &quot;impurity score&quot;]</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>*{{TM|1RB3LA1LA2RB2LB_1LB2RA4RA0RB---|undecided}}. Halts in ~ 10&lt;sup&gt;198&lt;/sup&gt; steps [https://discord.com/channels/960643023006490684/1259770421046411285/1558226290509742082 (prurq)], using a [https://discord.com/channels/960643023006490684/1259770421046411285/1560264094760575088 Rocq-certified longitudinal simulator]. [https://discord.com/channels/960643023006490684/1395820706050080869/1395820706050080869 Block analysis by @dyuan by &quot;impurity score&quot;]</div></td></tr> <!-- diff cache key mediawiki:diff:1.41:old-10106:rev-10108:php=table --> </table> Yves30. https://wiki.bbchallenge.org/w/index.php?title=BB(2,5)&diff=10106&oldid=prev Yves30.: Modify proof status of 2 top halters 2026-11-03T12:24:10Z <p>Modify proof status of 2 top halters</p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 12:24, 3 November 2026</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l60">Line 60:</td> <td colspan="2" class="diff-lineno">Line 60:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|{{TM|1RB4RA1LA4RB2LA_2LB3LA1RB2RA---|halt}}</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|{{TM|1RB4RA1LA4RB2LA_2LB3LA1RB2RA---|halt}}</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|&lt;math&gt;&gt;5.6 \times 10^{53}&lt;/math&gt;</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|&lt;math&gt;&gt;5.6 \times 10^{53}&lt;/math&gt;</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>|prurq and Aristotle <del style="font-weight: bold; text-decoration: none;">(not independently verified)</del></div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>|prurq and Aristotle<ins style="font-weight: bold; text-decoration: none;">: proof in Lean, confirmed in Rocq</ins></div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|{{TM|1RB3RB3LA4LA2RB_2LB3RA---1RA1LA|halt}}</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|{{TM|1RB3RB3LA4LA2RB_2LB3RA---1RA1LA|halt}}</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|&lt;math&gt;&gt;7.3 \times 10^{28}&lt;/math&gt;</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|&lt;math&gt;&gt;7.3 \times 10^{28}&lt;/math&gt;</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>|prurq and Aristotle <del style="font-weight: bold; text-decoration: none;">(not independently verified)</del></div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>|prurq and Aristotle<ins style="font-weight: bold; text-decoration: none;">: proof in Lean, confirmed in Rocq</ins></div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|{{TM|1RB0RB4RA2LB2LA_2LA1LB3RB4RA1RZ|halt}}</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|{{TM|1RB0RB4RA2LB2LA_2LA1LB3RB4RA1RZ|halt}}</div></td></tr> <!-- diff cache key mediawiki:diff:1.41:old-10105:rev-10106:php=table --> </table> Yves30. https://wiki.bbchallenge.org/w/index.php?title=BB(2,5)&diff=10105&oldid=prev Yves30.: Update status of solved holdouts (official count is now 37) 2026-11-03T12:20:57Z <p>Update status of solved holdouts (official count is now 37)</p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 12:20, 3 November 2026</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l244">Line 244:</td> <td colspan="2" class="diff-lineno">Line 244:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Holdouts ==</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Holdouts ==</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>This section is based on the list of 83 holdouts published by @mxdys, and includes further progress <del style="font-weight: bold; text-decoration: none;">past 8 September </del>2026. All TMs with known informal arguments for halting or non-halting before that date, were formally decided, leading to the latest <del style="font-weight: bold; text-decoration: none;">60 </del>formal holdouts list. <del style="font-weight: bold; text-decoration: none;">23 have since then, been solved. One of them has been analyzed by a Rocq-certified longitudinal simulator and found halting, leaving 59 formal holdouts. The other 22 have been solved with the help of AI agents, their solutions formalized in Lean but still are to be independently verified. As of 9 October 2026, 37 holdouts informally remain, including Cryptids and unsolved TMs. </del></div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>This section is based on the list of 83 holdouts published by @mxdys, and includes further progress <ins style="font-weight: bold; text-decoration: none;">as of 3 November </ins>2026. All TMs with known informal arguments for halting or non-halting before that date, were formally decided, leading to the latest <ins style="font-weight: bold; text-decoration: none;">37 </ins>formal holdouts list. <ins style="font-weight: bold; text-decoration: none;"> </ins></div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>=== Cryptids ===</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>=== Cryptids ===</div></td></tr> <tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l289">Line 289:</td> <td colspan="2" class="diff-lineno">Line 289:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB2LA3LA4RA1LA_0LA3LB3RB1RB---|undecided}}. 1D CA-like</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB2LA3LA4RA1LA_0LA3LB3RB1RB---|undecided}}. 1D CA-like</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>=== Solved with moderate rigor ===</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>=== Solved with moderate rigor ===</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">The 22 following machines have respectively 2 halting and 20 non-halting proofs formalized in Lean by [https://discord.com/channels/960643023006490684/1259770421046411285/1552990521650319453 @prurq], using AI agents Aristotle (solved 4 of them, mentioned in the list) and GPT6 (solved 18 of them, with information processing and proof formalization using Aristotle); however their proofs have not been independently verified: </del>  </div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">''None'' </ins>  </div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB4RA1LA4RB2LA_2LB3LA1RB2RA---|undecided}}. Solved using Aristotle. Expected to halt in 5.6 x 10&lt;sup&gt;53&lt;/sup&gt; steps [https://discord.com/channels/960643023006490684/1259770421046411285/1555690509245087827 (prurq)].</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">=== Formally proven ===</ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">The 22 following machines have respectively 2 halting and 20 non-halting proofs formalized in Lean by [https://discord.com/channels/960643023006490684/1259770421046411285/1552990521650319453 @prurq], using AI agents Aristotle (solved 4 of them, mentioned in the list) and GPT6 (solved 18 of them, with information processing and proof formalization using Aristotle). Their proofs have been confirmed in Rocq as of [https://discord.com/channels/960643023006490684/1259770421046411285/1567052029430595584 3 November 2026]:</ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>*{{TM|1RB4RA1LA4RB2LA_2LB3LA1RB2RA---|undecided}}. Solved using Aristotle. Expected to halt in 5.6 x 10&lt;sup&gt;53&lt;/sup&gt; steps [https://discord.com/channels/960643023006490684/1259770421046411285/1555690509245087827 (prurq)].</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB3RB3LA4LA2RB_2LB3RA---1RA1LA|undecided}}. Solved using Aristotle. Expected to halt in 7.3 x 10&lt;sup&gt;28&lt;/sup&gt; steps [https://discord.com/channels/960643023006490684/1259770421046411285/1553433274762919997 (prurq)]. [https://discord.com/channels/960643023006490684/1259770421046411285/1498450794582900878 Analysis by @LegionMammal978]</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB3RB3LA4LA2RB_2LB3RA---1RA1LA|undecided}}. Solved using Aristotle. Expected to halt in 7.3 x 10&lt;sup&gt;28&lt;/sup&gt; steps [https://discord.com/channels/960643023006490684/1259770421046411285/1553433274762919997 (prurq)]. [https://discord.com/channels/960643023006490684/1259770421046411285/1498450794582900878 Analysis by @LegionMammal978]</div></td></tr> <tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l315">Line 315:</td> <td colspan="2" class="diff-lineno">Line 317:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB2LA0RB---4LA_1LA3LA1RA4RA1LB|undecided}}. Solved using Aristotle. [https://discord.com/channels/960643023006490684/1259770421046411285/1329629220795715674 Analysis by @racheline]</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB2LA0RB---4LA_1LA3LA1RA4RA1LB|undecided}}. Solved using Aristotle. [https://discord.com/channels/960643023006490684/1259770421046411285/1329629220795715674 Analysis by @racheline]</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB2LA0RB4LB0LA_1LA3LA1RA4RA---|undecided}}. Solved using Aristotle. [https://discord.com/channels/960643023006490684/1471178503235043493/1471206925096980664 Does not halt in 1e13 steps.] [https://discord.com/channels/960643023006490684/1489363702560849920/1489363702560849920 Longitudinal Analysis by dyuan.]</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB2LA0RB4LB0LA_1LA3LA1RA4RA---|undecided}}. Solved using Aristotle. [https://discord.com/channels/960643023006490684/1471178503235043493/1471206925096980664 Does not halt in 1e13 steps.] [https://discord.com/channels/960643023006490684/1489363702560849920/1489363702560849920 Longitudinal Analysis by dyuan.]</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB2LA3LB4LB---_0LA4LB3RA4LA0RB|undecided}}. Fractal?</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB2LA3LB4LB---_0LA4LB3RA4LA0RB|undecided}}. Fractal? <ins style="font-weight: bold; text-decoration: none;">The machines </ins>proven <ins style="font-weight: bold; text-decoration: none;">before this last 3 November 2026 release are the following:</ins></div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div> </div></td><td colspan="2" class="diff-side-added"></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">=== Formally </del>proven <del style="font-weight: bold; text-decoration: none;">===</del></div></td><td colspan="2" class="diff-side-added"></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>*{{TM|1RB3LA1LA2RB2LB_1LB2RA4RA0RB---|undecided}}. Halts in ~ 10&lt;sup&gt;198&lt;/sup&gt; steps [https://discord.com/channels/960643023006490684/1259770421046411285/1558226290509742082 (prurq)], using a [https://discord.com/channels/960643023006490684/1259770421046411285/1560264094760575088 Rocq-certified longitudinal simulator]. [https://discord.com/channels/960643023006490684/1395820706050080869/1395820706050080869 Block analysis by @dyuan by &quot;impurity score&quot;]</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>*{{TM|1RB3LA1LA2RB2LB_1LB2RA4RA0RB---|undecided}}. Halts in ~ 10&lt;sup&gt;198&lt;/sup&gt; steps [https://discord.com/channels/960643023006490684/1259770421046411285/1558226290509742082 (prurq)], using a [https://discord.com/channels/960643023006490684/1259770421046411285/1560264094760575088 Rocq-certified longitudinal simulator]. [https://discord.com/channels/960643023006490684/1395820706050080869/1395820706050080869 Block analysis by @dyuan by &quot;impurity score&quot;]</div></td></tr> <!-- diff cache key mediawiki:diff:1.41:old-10104:rev-10105:php=table --> </table> Yves30. https://wiki.bbchallenge.org/w/index.php?title=BB(2,5)&diff=10104&oldid=prev Yves30.: Add link to Rocq-proven last 37 holdouts list 2026-11-03T12:08:39Z <p>Add link to Rocq-proven last 37 holdouts list</p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 12:08, 3 November 2026</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l238">Line 238:</td> <td colspan="2" class="diff-lineno">Line 238:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>On [https://discord.com/channels/960643023006490684/1259770421046411285/1558226290509742082 9 October 2026] prurq showed that {{TM|1RB3LA1LA2RB2LB_1LB2RA4RA0RB---|undecided}} halts in ~10&lt;sup&gt;198&lt;/sup&gt; steps, using a [https://discord.com/channels/960643023006490684/1259770421046411285/1560264094760575088 Rocq-certified longitudinal simulator] , lowering the formal holdouts count to 59.</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>On [https://discord.com/channels/960643023006490684/1259770421046411285/1558226290509742082 9 October 2026] prurq showed that {{TM|1RB3LA1LA2RB2LB_1LB2RA4RA0RB---|undecided}} halts in ~10&lt;sup&gt;198&lt;/sup&gt; steps, using a [https://discord.com/channels/960643023006490684/1259770421046411285/1560264094760575088 Rocq-certified longitudinal simulator] , lowering the formal holdouts count to 59.</div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">On [https://discord.com/channels/960643023006490684/1259770421046411285/1567052029430595584 3 November 2026], mxdys confirmed in Rocq the proofs in Lean of 22 TMs solved with AI assistance (GPT6 and Aristotle), releasing a formal list of 37 holdouts.</ins></div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>An often up-to-date and annotated spreadsheet of holdouts, based on the June 2024 list of 217 holdouts, is available [https://docs.google.com/spreadsheets/d/1qiZ3PJb_q4j9kddm0zZMionJhYCI_uEHr1bSmsBOlZs/edit?usp=drivesdk here]</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>An often up-to-date and annotated spreadsheet of holdouts, based on the June 2024 list of 217 holdouts, is available [https://docs.google.com/spreadsheets/d/1qiZ3PJb_q4j9kddm0zZMionJhYCI_uEHr1bSmsBOlZs/edit?usp=drivesdk here]</div></td></tr> <!-- diff cache key mediawiki:diff:1.41:old-10085:rev-10104:php=table --> </table> Yves30. https://wiki.bbchallenge.org/w/index.php?title=BB(2,5)&diff=10085&oldid=prev ADucharme: /* Holdouts */ Forward simulation documentation 2026-11-03T10:16:47Z <p><span class="autocomment">Holdouts: </span> Forward simulation documentation</p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 10:16, 3 November 2026</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l279">Line 279:</td> <td colspan="2" class="diff-lineno">Line 279:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB3RB1LB2RA---_2LA2RB1LA4LB0RA|undecided}}. [https://discord.com/channels/960643023006490684/1397318518961082398 Analysis by Legion and @dyuan]</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB3RB1LB2RA---_2LA2RB1LA4LB0RA|undecided}}. [https://discord.com/channels/960643023006490684/1397318518961082398 Analysis by Legion and @dyuan]</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB4LA1RA1RB1LA_2LB3LA---4RA2RB|undecided}}. [https://discord.com/channels/960643023006490684/1359561443929886760 Basic long. analysis by @dyuan]</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB4LA1RA1RB1LA_2LB3LA---4RA2RB|undecided}}. [https://discord.com/channels/960643023006490684/1359561443929886760 Basic long. analysis by @dyuan]</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB3RA3RB4LA1LA_1LB2LA1LA---1RB|undecided}}. [https://discord.com/channels/960643023006490684/1349602897024782358 Long. analysis by @dyuan suggests chaotic, potentially halt]</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB3RA3RB4LA1LA_1LB2LA1LA---1RB|undecided}}. [https://discord.com/channels/960643023006490684/1349602897024782358 Long. analysis by @dyuan suggests chaotic, potentially halt]<ins style="font-weight: bold; text-decoration: none;">. Did not halt in ~10^17.50888 steps of simulation by Andrew Ducharme.</ins></div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB2LA4LA1RA1LA_2LB3RB4RB---2RA|undecided}}. [https://discord.com/channels/960643023006490684/1084047886494470185/1255570421437169805 Long. analysis rules by @Legion, ran to cell 155 without halting]</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB2LA4LA1RA1LA_2LB3RB4RB---2RA|undecided}}. [https://discord.com/channels/960643023006490684/1084047886494470185/1255570421437169805 Long. analysis rules by @Legion, ran to cell 155 without halting]</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB2RB4LA2RA1LA_2LA4RA3LA---3RA|undecided}}. Chaotic via long. analysis. [https://discord.com/channels/960643023006490684/1353983911222312970/1353987502062702622 Probviously nonhalting]</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* {{TM|1RB2RB4LA2RA1LA_2LA4RA3LA---3RA|undecided}}. Chaotic via long. analysis. [https://discord.com/channels/960643023006490684/1353983911222312970/1353987502062702622 Probviously nonhalting]</div></td></tr> <!-- diff cache key mediawiki:diff:1.41:old-9363:rev-10085:php=table --> </table> ADucharme https://wiki.bbchallenge.org/w/index.php?title=BB(2,5)&diff=9363&oldid=prev Yves30.: edit the top halters table, down to 20 from 23 (delete the 3 lowest rows) 2026-10-22T11:37:17Z <p>edit the top halters table, down to 20 from 23 (delete the 3 lowest rows)</p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 11:37, 22 October 2026</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l19">Line 19:</td> <td colspan="2" class="diff-lineno">Line 19:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>==Top Halters==</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>==Top Halters==</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>The <del style="font-weight: bold; text-decoration: none;">23 </del>longest running known halting BB(2,5) TMs are:</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>The <ins style="font-weight: bold; text-decoration: none;">20 </ins>longest running known halting BB(2,5) TMs are:</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>{| class=&quot;wikitable&quot;</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>{| class=&quot;wikitable&quot;</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|+</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|+</div></td></tr> <tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l105">Line 105:</td> <td colspan="2" class="diff-lineno">Line 105:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|&lt;math&gt;2.7527 \times 10^{15}&lt;/math&gt;</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|&lt;math&gt;2.7527 \times 10^{15}&lt;/math&gt;</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|mxdys</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|mxdys</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">|-</del></div></td><td colspan="2" class="diff-side-added"></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">|{{TM|1RB2LB2RA4LB1RA_1LA3RA3LA4LA---|halt}}</del></div></td><td colspan="2" class="diff-side-added"></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">|&lt;math&gt;1.7828 \times 10^{15}&lt;/math&gt;</del></div></td><td colspan="2" class="diff-side-added"></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">|mxdys</del></div></td><td colspan="2" class="diff-side-added"></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">|-</del></div></td><td colspan="2" class="diff-side-added"></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">|{{TM|1RB3LA---4RB0LB_2LA3LB4LA1RB3RA|halt}}</del></div></td><td colspan="2" class="diff-side-added"></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">|&lt;math&gt;6.66046 \times 10^{14}&lt;/math&gt;</del></div></td><td colspan="2" class="diff-side-added"></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">|mxdys</del></div></td><td colspan="2" class="diff-side-added"></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">|-</del></div></td><td colspan="2" class="diff-side-added"></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">|{{TM|1RB2RA1LA1LB3LB_2LA3RB1RZ4RA1LA|halt}}</del></div></td><td colspan="2" class="diff-side-added"></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">|417,310,842,648,366 </del></div></td><td colspan="2" class="diff-side-added"></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">|Terry and Shawn Ligocki</del></div></td><td colspan="2" class="diff-side-added"></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|}</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|}</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <!-- diff cache key mediawiki:diff:1.41:old-9362:rev-9363:php=table --> </table> Yves30. https://wiki.bbchallenge.org/w/index.php?title=BB(2,5)&diff=9362&oldid=prev Yves30.: Add link to discord as ref for one of the top halters 2026-10-22T11:33:22Z <p>Add link to discord as ref for one of the top halters</p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 11:33, 22 October 2026</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l52">Line 52:</td> <td colspan="2" class="diff-lineno">Line 52:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|{{TM|1RB3LA1LA2RB2LB_1LB2RA4RA0RB---|undecided}}</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|{{TM|1RB3LA1LA2RB2LB_1LB2RA4RA0RB---|undecided}}</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|~ 10&lt;sup&gt;198&lt;/sup&gt;</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|~ 10&lt;sup&gt;198&lt;/sup&gt;</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>|prurq  </div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>|<ins style="font-weight: bold; text-decoration: none;">[https://discord.com/channels/960643023006490684/1259770421046411285/1558226290509742082 </ins>prurq<ins style="font-weight: bold; text-decoration: none;">]</ins></div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|{{TM|1RB2LA4RA1LB2LA_0LA2RB3RB2RA1RZ|halt}}</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|{{TM|1RB2LA4RA1LB2LA_0LA2RB3RB2RA1RZ|halt}}</div></td></tr> <!-- diff cache key mediawiki:diff:1.41:old-9268:rev-9362:php=table --> </table> Yves30.