https://wiki.bbchallenge.org/w/index.php?action=history&feed=atom&title=TMBR%3A_June_2026 TMBR: June 2026 - Revision history 2026-11-09T09:20:19Z Revision history for this page on the wiki MediaWiki 1.43.5 https://wiki.bbchallenge.org/w/index.php?title=TMBR:_June_2026&diff=10420&oldid=prev Sligocki: Move Misc -> General to top, tidy up GRF and add a small lede 2026-11-08T20:05:46Z <p>Move Misc -&gt; General to top, tidy up GRF and add a small lede</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 20:05, 8 November 2026</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1">Line 1:</td> <td colspan="2" class="diff-lineno">Line 1:</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>{{TMBRnav|May 2026|July 2026}}</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>{{TMBRnav|May 2026|July 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;"><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><del style="font-weight: bold; text-decoration: none;">''</del>This <del style="font-weight: bold; text-decoration: none;">edition of TMBR is </del>in <del style="font-weight: bold; text-decoration: none;">progress and has not yet been released</del>. <del style="font-weight: bold; text-decoration: none;">Please add any notes you think may be relevant </del>(<del style="font-weight: bold; text-decoration: none;">including in </del>the <del style="font-weight: bold; text-decoration: none;">form a </del>of <del style="font-weight: bold; text-decoration: none;">a TODO with a link to any relevant Discord discussion</del>).<del style="font-weight: bold; text-decoration: none;">''</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;">[[:Category:</ins>This <ins style="font-weight: bold; text-decoration: none;">Month in Beaver Research|This Month </ins>in <ins style="font-weight: bold; text-decoration: none;">Beaver Research]] for June 2026</ins>. <ins style="font-weight: bold; text-decoration: none;">This month, Tristan presented the BB</ins>(<ins style="font-weight: bold; text-decoration: none;">5) paper at </ins>the <ins style="font-weight: bold; text-decoration: none;">ACM Symposium on Theory </ins>of <ins style="font-weight: bold; text-decoration: none;">Computing (STOC), [[BB(7)]] holdouts were reduced 11%, and several new champions were found across BB Adjacent models including [[BBλ]](39</ins>) <ins style="font-weight: bold; text-decoration: none;">solved</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"></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>== Talks ==</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>== Talks ==</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 colspan="2" class="diff-lineno" id="mw-diff-left-l9">Line 9:</td> <td colspan="2" class="diff-lineno">Line 8:</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>== Papers ==</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>== Papers ==</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>*William Gasarch. 2026. &#039;&#039;Relationships Between the Busy Beaver Function and Mathematics I: What is the Smallest n such that BB(n) &gt; ...?&#039;&#039; SIGACT News 57, 2 (June 2026), 22–35. https://doi.org/10.1145/3819804.3819808</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>*William Gasarch. 2026. &#039;&#039;Relationships Between the Busy Beaver Function and Mathematics I: What is the Smallest n such that BB(n) &gt; ...?&#039;&#039; SIGACT News 57, 2 (June 2026), 22–35. https://doi.org/10.1145/3819804.3819808</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;">== General ==</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 19 June, Marcelo Fornet shared a Lean formalization proving the BB(4) value.&lt;sup&gt;[https://discord.com/channels/960643023006490684/1218877181321678928/1517441864226181120]&lt;/sup&gt; They are working on extending it to BB(5).</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>== BB Adjacent ==</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>== BB Adjacent ==</div></td></tr> <tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l32">Line 32:</td> <td colspan="2" class="diff-lineno">Line 34:</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>* MBB(6) = 49 was 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>* MBB(6) = 49 was proven.</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>[[General Recursive Function|General Recursive Functions]]:</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>[[General Recursive Function|General Recursive Functions]]:</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>* [[User:Sligocki|Shawn Ligocki]] enumerated all PRF's of size 23<del style="font-weight: bold; text-decoration: none;">.</del>&lt;sup&gt;[https://discord.com/channels/960643023006490684/1447627603698647303/1518981870254297138]&lt;/sup&gt;</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;">On 23 June, </ins>[[User:Sligocki|Shawn Ligocki]] enumerated all PRF's of size 23&lt;sup&gt;[https://discord.com/channels/960643023006490684/1447627603698647303/1518981870254297138]&lt;/sup&gt; <ins style="font-weight: bold; text-decoration: none;">and </ins>discovered a new champion PRF of size 23 <ins style="font-weight: bold; text-decoration: none;">with score &lt;math&gt;&gt; 10^{10^{130}}&lt;/math&gt;</ins>.&lt;sup&gt;[https://discord.com/channels/960643023006490684/1447627603698647303/1519059600081555467]&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><del style="font-weight: bold; text-decoration: none;">* On 24 June Shawn Ligocki </del>discovered a new champion PRF of size 23.&lt;sup&gt;[https://discord.com/channels/960643023006490684/1447627603698647303/1519059600081555467]&lt;/sup&gt;</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>* On <ins style="font-weight: bold; text-decoration: none;">26 </ins>June<ins style="font-weight: bold; text-decoration: none;">, </ins>Shawn Ligocki discovered a new champion <ins style="font-weight: bold; text-decoration: none;">showing </ins>BBµ(17) <ins style="font-weight: bold; text-decoration: none;">≥  58,471</ins>.&lt;sup&gt;[https://discord.com/channels/960643023006490684/1447627603698647303/1521327240732737536]&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>* On <del style="font-weight: bold; text-decoration: none;">25 </del>June Shawn Ligocki <del style="font-weight: bold; text-decoration: none;">[https://discord.com/channels/960643023006490684/1447627603698647303/1519579483617755316 </del>discovered a new <del style="font-weight: bold; text-decoration: none;">BBµ(19) </del>champion<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;">* On 26 June Shawn Ligocki discovered two new </del>BBµ(17) <del style="font-weight: bold; text-decoration: none;">champions in quick succession</del>.&lt;sup&gt;<del style="font-weight: bold; text-decoration: none;">[https://discord.com/channels/960643023006490684/1447627603698647303/1521270196193464521]</del>[https://discord.com/channels/960643023006490684/1447627603698647303/1521327240732737536]&lt;/sup&gt;</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>[[Branching Beaver]]:</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>[[Branching Beaver]]:</div></td></tr> <tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l41">Line 41:</td> <td colspan="2" class="diff-lineno">Line 41:</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>* Shawn Ligocki introduced the Branching Beaver (BrB(n,m)) function which is a variation of the Busy Beaver function, but where the tape is a graph where every node has 3 neighbors.</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>* Shawn Ligocki introduced the Branching Beaver (BrB(n,m)) function which is a variation of the Busy Beaver function, but where the tape is a graph where every node has 3 neighbors.</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>* Shawn computed exact values BrB(1) = 3 and BrB(2) = 10 and champions BrB(3) ≥ 52, BrB(4) ≥ 4636,&lt;sup&gt;[https://discord.com/channels/960643023006490684/1243312334907375676/1515457952104845485]&lt;/sup&gt; BrB(2,3) ≥ 68, BrB(2,4) ≥ 332372. Enumeration sizes of BrB TMs is larger than for traditional BB TMs, so solving these values is expected to by harder than solving traditional BB.</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>* Shawn computed exact values BrB(1) = 3 and BrB(2) = 10 and champions BrB(3) ≥ 52, BrB(4) ≥ 4636,&lt;sup&gt;[https://discord.com/channels/960643023006490684/1243312334907375676/1515457952104845485]&lt;/sup&gt; BrB(2,3) ≥ 68, BrB(2,4) ≥ 332372. Enumeration sizes of BrB TMs is larger than for traditional BB TMs, so solving these values is expected to by harder than solving traditional BB.</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;">== Misc ==</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;">* On 19 June, Marcelo Fornet shared a Lean formalization proving the BB(4) value.&lt;sup&gt;[https://discord.com/channels/960643023006490684/1218877181321678928/1517441864226181120]&lt;/sup&gt; They are working on extending it to BB(5).</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;">* Discord user Jack set up a big number competition inspired by the [https://googology.miraheze.org/wiki/Bignum_Bakeoff Bignum Bakeoff].&lt;sup&gt;[https://discord.com/channels/960643023006490684/960643023530762341/1511117192681230517]&lt;/sup&gt; While a few entries were made&lt;sup&gt;[https://discord.com/channels/960643023006490684/1511756831754813551]&lt;/sup&gt;, the contest quickly lost traction and was abandoned.&lt;sup&gt;[https://discord.com/channels/960643023006490684/1412433481803497542/1557189852498235404]&lt;/sup&gt;</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>== 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> <!-- diff cache key mediawiki:diff:1.41:old-10417:rev-10420:php=table --> </table> Sligocki https://wiki.bbchallenge.org/w/index.php?title=TMBR:_June_2026&diff=10417&oldid=prev Sligocki: Update Gasarch citation 2026-11-08T18:56:42Z <p>Update Gasarch citation</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 18:56, 8 November 2026</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l8">Line 8:</td> <td colspan="2" class="diff-lineno">Line 8:</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>== Papers ==</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>== Papers ==</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;">ACM SIGACT News published a paper on </del>the Busy Beaver and <del style="font-weight: bold; text-decoration: none;">it</del>'<del style="font-weight: bold; text-decoration: none;">s uncomputable growth</del>.<del style="font-weight: bold; text-decoration: none;">[</del>https://<del style="font-weight: bold; text-decoration: none;">dl.acm</del>.org<del style="font-weight: bold; text-decoration: none;">/doi</del>/10.1145/3819804.3819808<del style="font-weight: bold; text-decoration: none;">]</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;">William Gasarch. 2026. ''Relationships Between </ins>the Busy Beaver <ins style="font-weight: bold; text-decoration: none;">Function </ins>and <ins style="font-weight: bold; text-decoration: none;">Mathematics I: What is the Smallest n such that BB(n) &gt; ...?</ins>'<ins style="font-weight: bold; text-decoration: none;">' SIGACT News 57, 2 (June 2026), 22–35</ins>. https://<ins style="font-weight: bold; text-decoration: none;">doi</ins>.org/10.1145/3819804.3819808</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>== BB Adjacent ==</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>== BB Adjacent ==</div></td></tr> <tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l30">Line 30:</td> <td colspan="2" class="diff-lineno">Line 30:</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>[[Register machine|Register Machines]]:</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>[[Register machine|Register Machines]]:</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>* @-d discovered new champions for MBB(8) and MBB(9).&lt;sup&gt;[https://discord.com/channels/960643023006490684/1243312334907375676/1514082985664712824]&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>* @-d discovered new champions for MBB(8) and MBB(9).&lt;sup&gt;[https://discord.com/channels/960643023006490684/1243312334907375676/1514082985664712824]&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>* MBB(6) was <del style="font-weight: bold; text-decoration: none;">decided to be 49</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>* MBB(6) <ins style="font-weight: bold; text-decoration: none;">= 49 </ins>was <ins style="font-weight: bold; text-decoration: none;">proven</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>[[General Recursive Function|General Recursive Functions]]:</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>[[General Recursive Function|General Recursive Functions]]:</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>* [[User:Sligocki|Shawn Ligocki]] enumerated all PRF&#039;s of size 23.&lt;sup&gt;[https://discord.com/channels/960643023006490684/1447627603698647303/1518981870254297138]&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>* [[User:Sligocki|Shawn Ligocki]] enumerated all PRF&#039;s of size 23.&lt;sup&gt;[https://discord.com/channels/960643023006490684/1447627603698647303/1518981870254297138]&lt;/sup&gt;</div></td></tr> <!-- diff cache key mediawiki:diff:1.41:old-10353:rev-10417:php=table --> </table> Sligocki https://wiki.bbchallenge.org/w/index.php?title=TMBR:_June_2026&diff=10353&oldid=prev Polygon: /* Misc */ fixed external link eating the first word of the title 2026-11-07T14:58:09Z <p><span class="autocomment">Misc: </span> fixed external link eating the first word of the title</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 14:58, 7 November 2026</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l44">Line 44:</td> <td colspan="2" class="diff-lineno">Line 44:</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>== Misc ==</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>== Misc ==</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>* On 19 June, Marcelo Fornet shared a Lean formalization proving the BB(4) value.&lt;sup&gt;[https://discord.com/channels/960643023006490684/1218877181321678928/1517441864226181120]&lt;/sup&gt; They are working on extending it to BB(5).</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 19 June, Marcelo Fornet shared a Lean formalization proving the BB(4) value.&lt;sup&gt;[https://discord.com/channels/960643023006490684/1218877181321678928/1517441864226181120]&lt;/sup&gt; They are working on extending it to BB(5).</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>* Discord user Jack set up a big number competition inspired by the [https://googology.miraheze.org/wiki/Bignum_Bakeoff<del style="font-weight: bold; text-decoration: none;">|</del>Bignum Bakeoff].&lt;sup&gt;[https://discord.com/channels/960643023006490684/960643023530762341/1511117192681230517]&lt;/sup&gt; While a few entries were made&lt;sup&gt;[https://discord.com/channels/960643023006490684/1511756831754813551]&lt;/sup&gt;, the contest quickly lost traction and was abandoned.&lt;sup&gt;[https://discord.com/channels/960643023006490684/1412433481803497542/1557189852498235404]&lt;/sup&gt;</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>* Discord user Jack set up a big number competition inspired by the [https://googology.miraheze.org/wiki/Bignum_Bakeoff Bignum Bakeoff].&lt;sup&gt;[https://discord.com/channels/960643023006490684/960643023530762341/1511117192681230517]&lt;/sup&gt; While a few entries were made&lt;sup&gt;[https://discord.com/channels/960643023006490684/1511756831754813551]&lt;/sup&gt;, the contest quickly lost traction and was abandoned.&lt;sup&gt;[https://discord.com/channels/960643023006490684/1412433481803497542/1557189852498235404]&lt;/sup&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;"><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> <!-- diff cache key mediawiki:diff:1.41:old-10352:rev-10353:php=table --> </table> Polygon https://wiki.bbchallenge.org/w/index.php?title=TMBR:_June_2026&diff=10352&oldid=prev Polygon: /* Misc */ attempted to fill BB Bignum Bakeoff TODO 2026-11-07T14:53:48Z <p><span class="autocomment">Misc: </span> attempted to fill BB Bignum Bakeoff TODO</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 14:53, 7 November 2026</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l44">Line 44:</td> <td colspan="2" class="diff-lineno">Line 44:</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>== Misc ==</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>== Misc ==</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>* On 19 June, Marcelo Fornet shared a Lean formalization proving the BB(4) value.&lt;sup&gt;[https://discord.com/channels/960643023006490684/1218877181321678928/1517441864226181120]&lt;/sup&gt; They are working on extending it to BB(5).</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 19 June, Marcelo Fornet shared a Lean formalization proving the BB(4) value.&lt;sup&gt;[https://discord.com/channels/960643023006490684/1218877181321678928/1517441864226181120]&lt;/sup&gt; They are working on extending it to BB(5).</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;">TODO</del>: <del style="font-weight: bold; text-decoration: none;">BB </del>Bignum Bakeoff</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;">Discord user Jack set up a big number competition inspired by the [https</ins>:<ins style="font-weight: bold; text-decoration: none;">//googology.miraheze.org/wiki/Bignum_Bakeoff|</ins>Bignum Bakeoff<ins style="font-weight: bold; text-decoration: none;">].&lt;sup&gt;[https://discord.com/channels/960643023006490684/960643023530762341/1511117192681230517]&lt;/sup&gt; While a few entries were made&lt;sup&gt;[https://discord.com/channels/960643023006490684/1511756831754813551]&lt;/sup&gt;, the contest quickly lost traction and was abandoned.&lt;sup&gt;[https://discord.com/channels/960643023006490684/1412433481803497542/1557189852498235404]&lt;/sup&gt;</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>== 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> <!-- diff cache key mediawiki:diff:1.41:old-10349:rev-10352:php=table --> </table> Polygon https://wiki.bbchallenge.org/w/index.php?title=TMBR:_June_2026&diff=10349&oldid=prev ADucharme: /* Holdouts */ clarification of nature of GPU decider 2026-11-07T14:37:16Z <p><span class="autocomment">Holdouts: </span> clarification of nature of GPU decider</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 14:37, 7 November 2026</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l87">Line 87:</td> <td colspan="2" class="diff-lineno">Line 87:</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 [https://discord.com/channels/960643023006490684/1239205785913790465/1521203430046171146 released] a new holdouts list of &#039;&#039;&#039;1,094&#039;&#039;&#039; machines up to equivalence, this is a &#039;&#039;&#039;0.91%&#039;&#039;&#039; reduction compared to the previous holdouts list.</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 [https://discord.com/channels/960643023006490684/1239205785913790465/1521203430046171146 released] a new holdouts list of &#039;&#039;&#039;1,094&#039;&#039;&#039; machines up to equivalence, this is a &#039;&#039;&#039;0.91%&#039;&#039;&#039; reduction compared to the previous holdouts list.</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>*[[BB(7)]]</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>*[[BB(7)]]</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>**Using new GPU based <del style="font-weight: bold; text-decoration: none;">deciders</del>, David SG reduced the number of remaining holdouts from 17,823,260 to '''16,949,557''', a '''4.90%''' reduction.&lt;sup&gt;[https://discord.com/channels/960643023006490684/1369339127652159509/1512553945837605016]&lt;/sup&gt;</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>**Using new GPU<ins style="font-weight: bold; text-decoration: none;">-</ins>based <ins style="font-weight: bold; text-decoration: none;">direct simulation</ins>, David SG reduced the number of remaining holdouts from 17,823,260 to '''16,949,557''', a '''4.90%''' reduction.&lt;sup&gt;[https://discord.com/channels/960643023006490684/1369339127652159509/1512553945837605016]&lt;/sup&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>**Andrew Ducharme further reduced the amount of holdouts by &#039;&#039;&#039;7.12%&#039;&#039;&#039; to &#039;&#039;&#039;15,743,264&#039;&#039;&#039; by running mxdys&#039;s FAR decider with various parameters.&lt;sup&gt;[https://discord.com/channels/960643023006490684/1369339127652159509/1516364912375627816]&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>**Andrew Ducharme further reduced the amount of holdouts by &#039;&#039;&#039;7.12%&#039;&#039;&#039; to &#039;&#039;&#039;15,743,264&#039;&#039;&#039; by running mxdys&#039;s FAR decider with various parameters.&lt;sup&gt;[https://discord.com/channels/960643023006490684/1369339127652159509/1516364912375627816]&lt;/sup&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>*[[BB(4,3)]]</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>*[[BB(4,3)]]</div></td></tr> <!-- diff cache key mediawiki:diff:1.41:old-10346:rev-10349:php=table --> </table> ADucharme https://wiki.bbchallenge.org/w/index.php?title=TMBR:_June_2026&diff=10346&oldid=prev ADucharme: /* Misc */ remove GPU decider TODO, as nothing really came of it 2026-11-07T14:29:53Z <p><span class="autocomment">Misc: </span> remove GPU decider TODO, as nothing really came of it</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 14:29, 7 November 2026</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l44">Line 44:</td> <td colspan="2" class="diff-lineno">Line 44:</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>== Misc ==</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>== Misc ==</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>* On 19 June, Marcelo Fornet shared a Lean formalization proving the BB(4) value.&lt;sup&gt;[https://discord.com/channels/960643023006490684/1218877181321678928/1517441864226181120]&lt;/sup&gt; They are working on extending it to BB(5).</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 19 June, Marcelo Fornet shared a Lean formalization proving the BB(4) value.&lt;sup&gt;[https://discord.com/channels/960643023006490684/1218877181321678928/1517441864226181120]&lt;/sup&gt; They are working on extending it to BB(5).</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;">* TODO: GPU deciders</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>* TODO: BB Bignum Bakeoff</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>* TODO: BB Bignum Bakeoff</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-10132:rev-10346:php=table --> </table> ADucharme https://wiki.bbchallenge.org/w/index.php?title=TMBR:_June_2026&diff=10132&oldid=prev Polygon: /* Misc */ BB Bignum Bakeoff was in June 2026-11-03T14:07:10Z <p><span class="autocomment">Misc: </span> BB Bignum Bakeoff was in June</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 14:07, 3 November 2026</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l45">Line 45:</td> <td colspan="2" class="diff-lineno">Line 45:</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 19 June, Marcelo Fornet shared a Lean formalization proving the BB(4) value.&lt;sup&gt;[https://discord.com/channels/960643023006490684/1218877181321678928/1517441864226181120]&lt;/sup&gt; They are working on extending it to BB(5).</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 19 June, Marcelo Fornet shared a Lean formalization proving the BB(4) value.&lt;sup&gt;[https://discord.com/channels/960643023006490684/1218877181321678928/1517441864226181120]&lt;/sup&gt; They are working on extending it to BB(5).</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>* TODO: GPU deciders</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>* TODO: GPU deciders</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;">* TODO: BB Bignum Bakeoff</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>== 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> <!-- diff cache key mediawiki:diff:1.41:old-8882:rev-10132:php=table --> </table> Polygon https://wiki.bbchallenge.org/w/index.php?title=TMBR:_June_2026&diff=8882&oldid=prev HelpMe: consistecized wording 2026-10-03T17:35:31Z <p>consistecized wording</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 17:35, 3 October 2026</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l23">Line 23:</td> <td colspan="2" class="diff-lineno">Line 23:</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 15 June, [[User:Sligocki|Shawn Ligocki]] discovered new champions for BBCS(13)&lt;sup&gt;[https://discord.com/channels/960643023006490684/1484108791636033659/1515955533641809950]&lt;/sup&gt; and BBCS(14).&lt;sup&gt;[https://discord.com/channels/960643023006490684/1484108791636033659/1515954591445815459]&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>* On 15 June, [[User:Sligocki|Shawn Ligocki]] discovered new champions for BBCS(13)&lt;sup&gt;[https://discord.com/channels/960643023006490684/1484108791636033659/1515955533641809950]&lt;/sup&gt; and BBCS(14).&lt;sup&gt;[https://discord.com/channels/960643023006490684/1484108791636033659/1515954591445815459]&lt;/sup&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>* On 20 June, sheep discovered two new champions ([https://discord.com/channels/960643023006490684/1484108791636033659/1517854233020338216 first], [https://discord.com/channels/960643023006490684/1484108791636033659/1517857681086611457 second]) for BBCS(19) in quick succession, as well as new champions for BBCS(24) and BBCS(25).&lt;sup&gt;[https://discord.com/channels/960643023006490684/1484108791636033659/1517888154722504985]&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>* On 20 June, sheep discovered two new champions ([https://discord.com/channels/960643023006490684/1484108791636033659/1517854233020338216 first], [https://discord.com/channels/960643023006490684/1484108791636033659/1517857681086611457 second]) for BBCS(19) in quick succession, as well as new champions for BBCS(24) and BBCS(25).&lt;sup&gt;[https://discord.com/channels/960643023006490684/1484108791636033659/1517888154722504985]&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>* On 29 June, Azerty discovered multiple new bugs in the BBCS enumerator in quick succession,&lt;sup&gt;[https://discord.com/channels/960643023006490684/1484108791636033659/1521169450101903540]&lt;/sup&gt; prompting a re-ennumeration of BBCS(11) <del style="font-weight: bold; text-decoration: none;">which left </del>51 holdouts.&lt;sup&gt;[https://discord.com/channels/960643023006490684/1484108791636033659/1521169450101903540]&lt;/sup&gt;</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>* On 29 June, Azerty discovered multiple new bugs in the BBCS enumerator in quick succession,&lt;sup&gt;[https://discord.com/channels/960643023006490684/1484108791636033659/1521169450101903540]&lt;/sup&gt; prompting a re-ennumeration of BBCS(11)<ins style="font-weight: bold; text-decoration: none;">, leaving </ins>51 holdouts.&lt;sup&gt;[https://discord.com/channels/960643023006490684/1484108791636033659/1521169450101903540]&lt;/sup&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>* On 30 June, Azerty discovered more bugs in the BBCS enumerator,&lt;sup&gt;[https://discord.com/channels/960643023006490684/1484108791636033659/1521541279698387155]&lt;/sup&gt; prompting another re-ennumeration of BBCS(11), leaving 51 holdouts again.&lt;sup&gt;[https://discord.com/channels/960643023006490684/1484108791636033659/1521541279698387155]&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>* On 30 June, Azerty discovered more bugs in the BBCS enumerator,&lt;sup&gt;[https://discord.com/channels/960643023006490684/1484108791636033659/1521541279698387155]&lt;/sup&gt; prompting another re-ennumeration of BBCS(11), leaving 51 holdouts again.&lt;sup&gt;[https://discord.com/channels/960643023006490684/1484108791636033659/1521541279698387155]&lt;/sup&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>[[Fractran]]:</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>[[Fractran]]:</div></td></tr> <!-- diff cache key mediawiki:diff:1.41:old-8881:rev-8882:php=table --> </table> HelpMe https://wiki.bbchallenge.org/w/index.php?title=TMBR:_June_2026&diff=8881&oldid=prev HelpMe: bug in bbcs enumerator. thousands must perish. 2026-10-03T17:29:07Z <p>bug in bbcs enumerator. thousands must perish.</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 17:29, 3 October 2026</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l22">Line 22:</td> <td colspan="2" class="diff-lineno">Line 22:</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 12 June, sheep constructed a size 85 champion with score 2&lt;sup&gt;q(5)}&lt;/sup&gt;[https://discord.com/channels/960643023006490684/1484108791636033659/1514987825127358615]&lt;/sup&gt;, where q is a fast growing function arising from [https://en.wikipedia.org/wiki/Laver_table Laver tables]. A day later, sheep showed that BBCS(89 + k) ≥ 2&lt;sup&gt;P&lt;sup&gt;k&lt;/sup&gt;(0)&lt;/sup&gt; where P(x) = q(x + 1).&lt;sup&gt;[https://discord.com/channels/960643023006490684/1484108791636033659/1515330464683004044]&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>* On 12 June, sheep constructed a size 85 champion with score 2&lt;sup&gt;q(5)}&lt;/sup&gt;[https://discord.com/channels/960643023006490684/1484108791636033659/1514987825127358615]&lt;/sup&gt;, where q is a fast growing function arising from [https://en.wikipedia.org/wiki/Laver_table Laver tables]. A day later, sheep showed that BBCS(89 + k) ≥ 2&lt;sup&gt;P&lt;sup&gt;k&lt;/sup&gt;(0)&lt;/sup&gt; where P(x) = q(x + 1).&lt;sup&gt;[https://discord.com/channels/960643023006490684/1484108791636033659/1515330464683004044]&lt;/sup&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>* On 15 June, [[User:Sligocki|Shawn Ligocki]] discovered new champions for BBCS(13)&lt;sup&gt;[https://discord.com/channels/960643023006490684/1484108791636033659/1515955533641809950]&lt;/sup&gt; and BBCS(14).&lt;sup&gt;[https://discord.com/channels/960643023006490684/1484108791636033659/1515954591445815459]&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>* On 15 June, [[User:Sligocki|Shawn Ligocki]] discovered new champions for BBCS(13)&lt;sup&gt;[https://discord.com/channels/960643023006490684/1484108791636033659/1515955533641809950]&lt;/sup&gt; and BBCS(14).&lt;sup&gt;[https://discord.com/channels/960643023006490684/1484108791636033659/1515954591445815459]&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><del style="font-weight: bold; text-decoration: none;">* On the same day, Azerty completed the enumeration of BBCS(12), leaving an initial 866 holdouts.&lt;sup&gt;[https://discord.com/channels/960643023006490684/1484108791636033659/1516066605912821791]&lt;/sup&gt; A second enumeration the next day left only 477 holdouts.&lt;sup&gt;[https://discord.com/channels/960643023006490684/1484108791636033659/1516366973523591249]&lt;/sup&gt; [TODO: bug found, may have to be removed]</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>* On 20 June, sheep discovered two new champions ([https://discord.com/channels/960643023006490684/1484108791636033659/1517854233020338216 first], [https://discord.com/channels/960643023006490684/1484108791636033659/1517857681086611457 second]) for BBCS(19) in quick succession, as well as new champions for BBCS(24) and BBCS(25).&lt;sup&gt;[https://discord.com/channels/960643023006490684/1484108791636033659/1517888154722504985]&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>* On 20 June, sheep discovered two new champions ([https://discord.com/channels/960643023006490684/1484108791636033659/1517854233020338216 first], [https://discord.com/channels/960643023006490684/1484108791636033659/1517857681086611457 second]) for BBCS(19) in quick succession, as well as new champions for BBCS(24) and BBCS(25).&lt;sup&gt;[https://discord.com/channels/960643023006490684/1484108791636033659/1517888154722504985]&lt;/sup&gt;</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 29 June, Azerty discovered multiple new bugs in the BBCS enumerator in quick succession,&lt;sup&gt;[https://discord.com/channels/960643023006490684/1484108791636033659/1521169450101903540]&lt;/sup&gt; prompting a re-ennumeration of BBCS(11) which left 51 holdouts.&lt;sup&gt;[https://discord.com/channels/960643023006490684/1484108791636033659/1521169450101903540]&lt;/sup&gt;</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 30 June, Azerty discovered more bugs in the BBCS enumerator,&lt;sup&gt;[https://discord.com/channels/960643023006490684/1484108791636033659/1521541279698387155]&lt;/sup&gt; prompting another re-ennumeration of BBCS(11), leaving 51 holdouts again.&lt;sup&gt;[https://discord.com/channels/960643023006490684/1484108791636033659/1521541279698387155]&lt;/sup&gt;</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>[[Fractran]]:</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>[[Fractran]]:</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>* On 1 June, [[User:Sligocki|Shawn Ligocki]] discovered a new BBf(23) champion which runs for over 4.393 × 10&lt;sup&gt;124&lt;/sup&gt; steps.&lt;sup&gt;[https://discord.com/channels/960643023006490684/1438019511155691521/1510769318978129970]&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>* On 1 June, [[User:Sligocki|Shawn Ligocki]] discovered a new BBf(23) champion which runs for over 4.393 × 10&lt;sup&gt;124&lt;/sup&gt; steps.&lt;sup&gt;[https://discord.com/channels/960643023006490684/1438019511155691521/1510769318978129970]&lt;/sup&gt;</div></td></tr> <!-- diff cache key mediawiki:diff:1.41:old-8803:rev-8881:php=table --> </table> HelpMe https://wiki.bbchallenge.org/w/index.php?title=TMBR:_June_2026&diff=8803&oldid=prev Δ⁵: formatting 2026-10-01T13:37:29Z <p>formatting</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 13:37, 1 October 2026</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l12">Line 12:</td> <td colspan="2" class="diff-lineno">Line 12:</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>== BB Adjacent ==</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>== BB Adjacent ==</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>[[Lambda Calculus|Busy Beaver for Lambda Calculus]]:</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>[[Lambda Calculus|Busy Beaver for Lambda Calculus]]:</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>* [https://discord.com/channels/960643023006490684/1355653587824283678/1514278149049811058 BBλ(39) was solved] on 10 June, showing that BBλ(39) <del style="font-weight: bold; text-decoration: none;">&lt;math&gt;</del>= 5<del style="font-weight: bold; text-decoration: none;">\cdot{</del>3<del style="font-weight: bold; text-decoration: none;">^{</del>3<del style="font-weight: bold; text-decoration: none;">^{</del>3<del style="font-weight: bold; text-decoration: none;">^</del>3<del style="font-weight: bold; text-decoration: none;">}}} + 6</del>&lt;/<del style="font-weight: bold; text-decoration: none;">math</del>&gt;.</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>* [https://discord.com/channels/960643023006490684/1355653587824283678/1514278149049811058 BBλ(39) was solved] on 10 June, showing that BBλ(39) = 5 <ins style="font-weight: bold; text-decoration: none;">× </ins>3<ins style="font-weight: bold; text-decoration: none;">&lt;sup&gt;</ins>3<ins style="font-weight: bold; text-decoration: none;">&lt;sup&gt;</ins>3<ins style="font-weight: bold; text-decoration: none;">&lt;sup&gt;</ins>3&lt;/<ins style="font-weight: bold; text-decoration: none;">sup&gt;&lt;/sup&gt;&lt;/sup</ins>&gt;<ins style="font-weight: bold; text-decoration: none;">+ 6</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>* Work began on BBλ(40), which was reduced to 2 holdouts&lt;sup&gt;[https://discord.com/channels/960643023006490684/1355653587824283678/1517706496606081127]&lt;/sup&gt; and BBλ(41), which was reduced to 93 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>* Work began on BBλ(40), which was reduced to 2 holdouts&lt;sup&gt;[https://discord.com/channels/960643023006490684/1355653587824283678/1517706496606081127]&lt;/sup&gt; and BBλ(41), which was reduced to 93 holdouts.</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>* A list of BBλ(42) holdouts was also added to the [https://docs.google.com/spreadsheets/d/1jZ6TK9m3xmXUlC69727T-8WwvhALcsp8FrK6DzgThtw/edit?gid=1544675322#gid=1544675322 BBλ-spreadsheet].&lt;sup&gt;[https://discord.com/channels/960643023006490684/1355653587824283678/1517130491512492083]&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>* A list of BBλ(42) holdouts was also added to the [https://docs.google.com/spreadsheets/d/1jZ6TK9m3xmXUlC69727T-8WwvhALcsp8FrK6DzgThtw/edit?gid=1544675322#gid=1544675322 BBλ-spreadsheet].&lt;sup&gt;[https://discord.com/channels/960643023006490684/1355653587824283678/1517130491512492083]&lt;/sup&gt;</div></td></tr> <tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l20">Line 20:</td> <td colspan="2" class="diff-lineno">Line 20:</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>* New [[SKI Calculus#BCKW system|BCKW system]] champions were discovered for Ξ₀&lt;sub&gt;BCKW&lt;/sub&gt;(7), Ξ₀&lt;sub&gt;BCKW&lt;/sub&gt;(8) and Ξ₀&lt;sub&gt;BCKW&lt;/sub&gt;(9).</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>* New [[SKI Calculus#BCKW system|BCKW system]] champions were discovered for Ξ₀&lt;sub&gt;BCKW&lt;/sub&gt;(7), Ξ₀&lt;sub&gt;BCKW&lt;/sub&gt;(8) and Ξ₀&lt;sub&gt;BCKW&lt;/sub&gt;(9).</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>[[CounterScript]]:</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>[[CounterScript]]:</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>* On 12 June, sheep constructed a size 85 champion with score <del style="font-weight: bold; text-decoration: none;"> </del>&lt;<del style="font-weight: bold; text-decoration: none;">math</del>&gt;<del style="font-weight: bold; text-decoration: none;">2^{</del>q(5)}&lt;/<del style="font-weight: bold; text-decoration: none;">math&gt;&lt;</del>sup&gt;[https://discord.com/channels/960643023006490684/1484108791636033659/1514987825127358615]&lt;/sup&gt;, where q is a fast growing function arising from [https://en.wikipedia.org/wiki/Laver_table Laver tables]. A day later, sheep showed that BBCS(89 + k) &lt;<del style="font-weight: bold; text-decoration: none;">math</del>&gt;<del style="font-weight: bold; text-decoration: none;">\geq 2^{</del>P<del style="font-weight: bold; text-decoration: none;">^{</del>k<del style="font-weight: bold; text-decoration: none;">}</del>(0)<del style="font-weight: bold; text-decoration: none;">}</del>&lt;/<del style="font-weight: bold; text-decoration: none;">math</del>&gt; where P(x) = q(x + 1).&lt;sup&gt;[https://discord.com/channels/960643023006490684/1484108791636033659/1515330464683004044]&lt;/sup&gt;</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>* On 12 June, sheep constructed a size 85 champion with score <ins style="font-weight: bold; text-decoration: none;">2</ins>&lt;<ins style="font-weight: bold; text-decoration: none;">sup</ins>&gt;q(5)}&lt;/sup&gt;[https://discord.com/channels/960643023006490684/1484108791636033659/1514987825127358615]&lt;/sup&gt;, where q is a fast growing function arising from [https://en.wikipedia.org/wiki/Laver_table Laver tables]. A day later, sheep showed that BBCS(89 + k) <ins style="font-weight: bold; text-decoration: none;">≥ 2</ins>&lt;<ins style="font-weight: bold; text-decoration: none;">sup</ins>&gt;P<ins style="font-weight: bold; text-decoration: none;">&lt;sup&gt;</ins>k<ins style="font-weight: bold; text-decoration: none;">&lt;/sup&gt;</ins>(0)&lt;/<ins style="font-weight: bold; text-decoration: none;">sup</ins>&gt; where P(x) = q(x + 1).&lt;sup&gt;[https://discord.com/channels/960643023006490684/1484108791636033659/1515330464683004044]&lt;/sup&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>* On 15 June, [[User:Sligocki|Shawn Ligocki]] discovered new champions for BBCS(13)&lt;sup&gt;[https://discord.com/channels/960643023006490684/1484108791636033659/1515955533641809950]&lt;/sup&gt; and BBCS(14).&lt;sup&gt;[https://discord.com/channels/960643023006490684/1484108791636033659/1515954591445815459]&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>* On 15 June, [[User:Sligocki|Shawn Ligocki]] discovered new champions for BBCS(13)&lt;sup&gt;[https://discord.com/channels/960643023006490684/1484108791636033659/1515955533641809950]&lt;/sup&gt; and BBCS(14).&lt;sup&gt;[https://discord.com/channels/960643023006490684/1484108791636033659/1515954591445815459]&lt;/sup&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>* On the same day, Azerty completed the enumeration of BBCS(12), leaving an initial 866 holdouts.&lt;sup&gt;[https://discord.com/channels/960643023006490684/1484108791636033659/1516066605912821791]&lt;/sup&gt; A second enumeration the next day left only 477 holdouts.&lt;sup&gt;[https://discord.com/channels/960643023006490684/1484108791636033659/1516366973523591249]&lt;/sup&gt; [TODO: bug found, may have to be removed]</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 the same day, Azerty completed the enumeration of BBCS(12), leaving an initial 866 holdouts.&lt;sup&gt;[https://discord.com/channels/960643023006490684/1484108791636033659/1516066605912821791]&lt;/sup&gt; A second enumeration the next day left only 477 holdouts.&lt;sup&gt;[https://discord.com/channels/960643023006490684/1484108791636033659/1516366973523591249]&lt;/sup&gt; [TODO: bug found, may have to be removed]</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>* On 20 June, sheep discovered two new champions ([https://discord.com/channels/960643023006490684/1484108791636033659/1517854233020338216 first], [https://discord.com/channels/960643023006490684/1484108791636033659/1517857681086611457 second]) for BBCS(19) in quick succession, as well as new champions for BBCS(24) and BBCS(25).&lt;sup&gt;[https://discord.com/channels/960643023006490684/1484108791636033659/1517888154722504985]&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>* On 20 June, sheep discovered two new champions ([https://discord.com/channels/960643023006490684/1484108791636033659/1517854233020338216 first], [https://discord.com/channels/960643023006490684/1484108791636033659/1517857681086611457 second]) for BBCS(19) in quick succession, as well as new champions for BBCS(24) and BBCS(25).&lt;sup&gt;[https://discord.com/channels/960643023006490684/1484108791636033659/1517888154722504985]&lt;/sup&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>[[Fractran]]:</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>[[Fractran]]:</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>* On 1 June, [[User:Sligocki|Shawn Ligocki]] discovered a new BBf(23) champion which runs for over <del style="font-weight: bold; text-decoration: none;">&lt;math&gt;</del>4.393 <del style="font-weight: bold; text-decoration: none;">\times </del>10<del style="font-weight: bold; text-decoration: none;">^{</del>124<del style="font-weight: bold; text-decoration: none;">}</del>&lt;/<del style="font-weight: bold; text-decoration: none;">math</del>&gt; steps.&lt;sup&gt;[https://discord.com/channels/960643023006490684/1438019511155691521/1510769318978129970]&lt;/sup&gt;</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>* On 1 June, [[User:Sligocki|Shawn Ligocki]] discovered a new BBf(23) champion which runs for over 4.393 <ins style="font-weight: bold; text-decoration: none;">× </ins>10<ins style="font-weight: bold; text-decoration: none;">&lt;sup&gt;</ins>124&lt;/<ins style="font-weight: bold; text-decoration: none;">sup</ins>&gt; steps.&lt;sup&gt;[https://discord.com/channels/960643023006490684/1438019511155691521/1510769318978129970]&lt;/sup&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>* BBf(23) holdouts were reduced by 27.20% from 29,250 to 21,295.</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>* BBf(23) holdouts were reduced by 27.20% from 29,250 to 21,295.</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>[[Register machine|Register Machines]]:</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>[[Register machine|Register Machines]]:</div></td></tr> <!-- diff cache key mediawiki:diff:1.41:old-8786:rev-8803:php=table --> </table> Δ⁵