TMBR: July 2026 - Revision history

HelpMe: BB_WT(n) death rumors confirmed untrue, editor changes its status back from was to is

2026-10-05T09:28:44Z

BB_WT(n) death rumors confirmed untrue, editor changes its status back from was to is

← Older revision		Revision as of 09:28, 5 October 2026
Line 41:		Line 41:
	** On July 22, AlephSquirrel introduced the Busy Beaver function for Wang Tiles, BB<sub>WT</sub>(n), and proved the values of BB<sub>WT</sub>(1) and BB<sub>WT</sub>(2).<sup>[https://discord.com/channels/960643023006490684/1529586687926210691/1529586687926210691]</sup>		** On July 22, AlephSquirrel introduced the Busy Beaver function for Wang Tiles, BB<sub>WT</sub>(n), and proved the values of BB<sub>WT</sub>(1) and BB<sub>WT</sub>(2).<sup>[https://discord.com/channels/960643023006490684/1529586687926210691/1529586687926210691]</sup>
	** On the same day, mathmasterzach established the lower bound BB<sub>WT</sub>(n) ≥ n.<sup>[https://discord.com/channels/960643023006490684/1529586687926210691/1529615913509454105]</sup>		** On the same day, mathmasterzach established the lower bound BB<sub>WT</sub>(n) ≥ n.<sup>[https://discord.com/channels/960643023006490684/1529586687926210691/1529615913509454105]</sup>
	** On July 23, sheep rediscovered literature<sup>[https://discord.com/channels/960643023006490684/1529586687926210691/1529742572090556437]</sup> from Emmanuel Jeandel and Michael Rao that ~~implied~~ BB<sub>WT</sub>(10) ≥ 212, and ~~was~~ decidable.<sup>[https://arxiv.org/abs/1506.06492]</sup>		** On July 23, sheep rediscovered literature<sup>[https://discord.com/channels/960643023006490684/1529586687926210691/1529742572090556437]</sup> from Emmanuel Jeandel and Michael Rao that implies BB<sub>WT</sub>(10) ≥ 212, and is decidable.<sup>[https://arxiv.org/abs/1506.06492]</sup>
	** On July 24, AlephSquirrel proved BB<sub>WT</sub>(3) = 3.		** On July 24, AlephSquirrel proved BB<sub>WT</sub>(3) = 3.
	** On July 25, AlephSquirrel proved BB<sub>WT</sub>(4) = 4.<sup>[https://discord.com/channels/960643023006490684/1529586687926210691/1530697443820437645]</sup>		** On July 25, AlephSquirrel proved BB<sub>WT</sub>(4) = 4.<sup>[https://discord.com/channels/960643023006490684/1529586687926210691/1530697443820437645]</sup>

HelpMe: and there's this

2026-10-03T18:03:51Z

and there's this

← Older revision		Revision as of 18:03, 3 October 2026
Line 76:		Line 76:
	* [[BB(4,3)]]		* [[BB(4,3)]]
	** Andrew Ducharme reduced the number of holdouts from 4,784,443 to '''4,747,566''', a '''0.77%''' reduction.<sup>[https://discord.com/channels/960643023006490684/1084047886494470185/1522168741922607164][https://discord.com/channels/960643023006490684/1084047886494470185/1530496818155229294]</sup>		** Andrew Ducharme reduced the number of holdouts from 4,784,443 to '''4,747,566''', a '''0.77%''' reduction.<sup>[https://discord.com/channels/960643023006490684/1084047886494470185/1522168741922607164][https://discord.com/channels/960643023006490684/1084047886494470185/1530496818155229294]</sup>
			* [[BB(2,5)]]
			** On July 30, prurq simulated a holdout to halting.<sup>[https://discord.com/channels/960643023006490684/1259770421046411285/1532442006759018599]</sup>
	*[[BB(2,7)]]		*[[BB(2,7)]]
	**Terry Ligocki enumerated 180K more subtasks, increasing the number of holdouts to '''2,185,010,519'''. A total of 700K subtasks out of the 1 million subtasks (or '''70%''') have been enumerated.		**Terry Ligocki enumerated 180K more subtasks, increasing the number of holdouts to '''2,185,010,519'''. A total of 700K subtasks out of the 1 million subtasks (or '''70%''') have been enumerated.

	[[Category:This Month in Beaver Research\|2026-07]]		[[Category:This Month in Beaver Research\|2026-07]]

HelpMe: done, finished. hopefully

2026-10-03T17:58:59Z

done, finished. hopefully

← Older revision		Revision as of 17:58, 3 October 2026
Line 5:		Line 5:
	== General ==		== General ==

	* ~~TODO~~: BB(5) Lean proof ~~completed~~: https://discord.com/channels/960643023006490684/1218877181321678928/1530515342772666429		*Verification of BB(5) = 47,176,870 in Lean:
	* ~~TODO~~: BBB(4) ~~proof progress~~: https://discord.com/channels/960643023006490684/1385498968011575366/~~1532076512927420556~~		** On July 14, Marcelo Fornet used Claude AI to translate the proof of BB(5) = 47,176,870 to Lean, save for two machines: Skelet #1, and Skelet #17.<sup>[https://discord.com/channels/960643023006490684/1218877181321678928/1526559214187581540]</sup>
			** On July 16, the non-halting proof for Skelet #17 was translated to Lean.<sup>[https://discord.com/channels/960643023006490684/1218877181321678928/1527249976411947078]</sup>
			** On July 25, the non-halting proof for Skelet #1 was translated to Lean, '''thus completing the proof of BB(5) = 47,176,870 in Lean.'''<sup>[https://discord.com/channels/960643023006490684/1218877181321678928/1530515342772666429]</sup>
			* Proof of BBB(4) = 32,779,478:
			** On July 29, @carrino used Claude AI to formally prove BBB(4) = 32,779,478, save for 290 holdouts, which do not appear in mxdys's holdout list.<sup>[https://discord.com/channels/960643023006490684/1385498968011575366/1532076512927420556]</sup>
			** On July 31, @carrino reduced the number of formal BBB(4) holdouts to less than 40.<sup>[https://discord.com/channels/960643023006490684/1385498968011575366/1532864742983602366]</sup>

	== BB Adjacent ==		== BB Adjacent ==
	~~[[SKI Calculus]]:~~
	* A new champion was discovered for Ξ₀(12).
	* New champions were discovered for Ξ₀<sub>SK</sub>(12), Ξ₀<sub>SK</sub>(13), Ξ₀<sub>S</sub>(14), Ξ₀<sub>SK</sub>(15), Ξ₀<sub>SK</sub>(16) and Ξ₀<sub>SK</sub>(17).
	~~TODO: update~~

	[[Lambda Calculus]]:		* [[SKI Calculus]]:
	* [https://discord.com/channels/960643023006490684/1355653587824283678/1528855324881326181 BBλ(40) was solved] ~~on 20 July~~, showing that BBλ(40) ≈ 10↑↑↑16. BBλ(40) is the first solved domain in any BB variant to reach pentational values.		** On July 3, Δ⁵ discovered a new champion for Ξ₀<sub>SK</sub>(12).<sup>[https://wiki.bbchallenge.org/w/index.php?title=SKI_Calculus&diff=next&oldid=7894]</sup>
	~~TODO:~~ Post Tag System		** On July 10, Δ⁵ discovered new champions for Ξ₀(12) and Ξ₀<sub>SK</sub>(14).<sup>[https://wiki.bbchallenge.org/w/index.php?title=SKI_Calculus&diff=next&oldid=7968]</sup>
			** On July 19, Δ⁵ discovered new tetrational champions for Ξ₀(12), Ξ₀<sub>SK</sub>(15), Ξ₀<sub>SK</sub>(16), and Ξ₀<sub>SK</sub>(17).<sup>[https://wiki.bbchallenge.org/w/index.php?title=SKI_Calculus&diff=next&oldid=7996]</sup>
			** On July 27, Δ⁵ discovered a new pentational champion for Ξ₀<sub>BCKW</sub>(7) and new hexational champions for Ξ₀<sub>BCKW</sub>(8) and Ξ₀<sub>BCKW</sub>(9).<sup>[https://wiki.bbchallenge.org/w/index.php?title=SKI_Calculus&diff=next&oldid=8050]</sup>
			** On the same day, Δ⁵ tweaked the Ξ₀<sub>SK</sub>(16) champion, improving the bound by roughly 33%.<sup>[https://wiki.bbchallenge.org/w/index.php?title=SKI_Calculus&diff=next&oldid=8083]</sup>
			** On the same day, Δ⁵ discovered a new pentational champion for Ξ₀<sub>SK</sub>(22), and new hexational champions for Ξ₀<sub>SK</sub>(23), Ξ₀<sub>SK</sub>(24), and Ξ₀<sub>SK</sub>(25).<sup>[https://wiki.bbchallenge.org/w/index.php?title=SKI_Calculus&diff=next&oldid=8087]</sup>
			** On July 28, Δ⁵ discovered a new pentational champion for Ξ₀<sub>SK</sub>(17).<sup>[https://wiki.bbchallenge.org/w/index.php?title=SKI_Calculus&diff=next&oldid=8100]</sup>
			* [[CounterScript]]:
			** On July 16, Azerty discovered a logical leap in a claimed equivalence,<sup>[https://discord.com/channels/960643023006490684/1484108791636033659/1527291163823050803]</sup> prompting another re-enumeration of BBCS(11), leaving the same 1 holdout.<sup>[https://discord.com/channels/960643023006490684/1484108791636033659/1527291256198402179]</sup> This holdout was previously proven non-halting by sheep on May 17,<sup>[https://discord.com/channels/960643023006490684/1484108791636033659/1554807350811168868]</sup> racheline on July 8,<sup>[https://discord.com/channels/960643023006490684/1484108791636033659/1524403079867535440]</sup> and Tobias B on July 11.<sup>[https://discord.com/channels/960643023006490684/1484108791636033659/1525470062515978252]</sup>
			* [[General Recursive Function]]:
			** On July 16, Shawn Ligocki found a size 13 version of a notable size 16 non-halting function which tested the divisibility of tetrahedral numbers.<sup>[https://discord.com/channels/960643023006490684/1447627603698647303/1527405134857113650]</sup>
			** On the same day, Shawn Ligocki proved that the largest number attained by a halting function of the form M(PRF) of size 13 is 6.<sup>[https://discord.com/channels/960643023006490684/1447627603698647303/1527407138102841446][https://wiki.bbchallenge.org/w/index.php?title=General_Recursive_Function&oldid=8033]</sup>

			* [[Lambda Calculus]]:
			** On July 20, [https://discord.com/channels/960643023006490684/1355653587824283678/1528855324881326181 BBλ(40) was solved], showing that BBλ(40) ≈ 10↑↑↑16. BBλ(40) is the first solved domain in any non-trivial BB variant to reach pentational values.

			* [[Post Tag System]]
			** On July 21, Shawn Ligocki introduced the Busy Beaver function for Post Tag Systems, BB<sub>PT</sub>(n),<sup>[https://discord.com/channels/960643023006490684/1243312334907375676/1528865423393820672]</sup> and provided champions for BB<sub>WT</sub>(n) for sizes 7 to 11.<sup>[https://discord.com/channels/960643023006490684/1243312334907375676/1528865627270549605]</sup>
			** On the same day, Shawn Ligocki shared holdout lists for tag systems with sizes less than 12.<sup>[https://discord.com/channels/960643023006490684/1243312334907375676/1529221470453108848]</sup>
			** On July 22, Shawn Ligocki proved the values of BB<sub>PT</sub>(n) for sizes 1 to 6, and shared a set of 9 holdouts with sizes less than 9.<sup>[https://discord.com/channels/960643023006490684/1243312334907375676/1529336029356494868]</sup>
			** On July 24, sheep discovered a supposedly "halting" tag system of size 11, with a mechanism similar to cryptids.<sup>[https://discord.com/channels/960643023006490684/1243312334907375676/1530083642628374669]</sup> However, after a careful simulation by Shawn Ligocki,<sup>[https://discord.com/channels/960643023006490684/1243312334907375676/1530084069864640685]</sup> it was realized that the system was an actual cryptid,<sup>[https://discord.com/channels/960643023006490684/1243312334907375676/1530085758764056627]</sup> showing BB<sub>PT</sub>(11) is hard.

	* [[Wang Tiles]]		* [[Wang Tiles]]
	** ~~Over~~ July 22~~-25~~, AlephSquirrel ~~found champions~~ 1-4 and ~~proved their optimality~~, ~~and found~~ the ~~BB_WT~~(5) ~~champion~~.		** On July 22, AlephSquirrel introduced the Busy Beaver function for Wang Tiles, BB<sub>WT</sub>(n), and proved the values of BB<sub>WT</sub>(1) and BB<sub>WT</sub>(2).<sup>[https://discord.com/channels/960643023006490684/1529586687926210691/1529586687926210691]</sup>
	** ~~Prior work by~~ Emmanuel Jeandel and Michael Rao ~~in 2015 shows BB_WT~~(10) ≥ 212.<~~ref~~>https://arxiv.org/abs/1506.06492</~~ref~~>		** On the same day, mathmasterzach established the lower bound BB<sub>WT</sub>(n) ≥ n.<sup>[https://discord.com/channels/960643023006490684/1529586687926210691/1529615913509454105]</sup>
			** On July 23, sheep rediscovered literature<sup>[https://discord.com/channels/960643023006490684/1529586687926210691/1529742572090556437]</sup> from Emmanuel Jeandel and Michael Rao that implied BB<sub>WT</sub>(10) ≥ 212, and was decidable.<sup>[https://arxiv.org/abs/1506.06492]</sup>
			** On July 24, AlephSquirrel proved BB<sub>WT</sub>(3) = 3.
			** On July 25, AlephSquirrel proved BB<sub>WT</sub>(4) = 4.<sup>[https://discord.com/channels/960643023006490684/1529586687926210691/1530697443820437645]</sup>
			** On the same day, AlephSquirrel found a new BB<sub>WT</sub>(5) champion.<sup>[https://discord.com/channels/960643023006490684/1529586687926210691/1530722442761474218]</sup>
			** On July 26, Shawn Ligocki noted that the behavior of the BB<sub>WT</sub>(5) champion could be extended to establish the lower bound BB<sub>WT</sub>(n) ≥ 2n - 4.<sup>[https://discord.com/channels/960643023006490684/1529586687926210691/1530747348366528604]</sup>

	== Holdouts ==		== Holdouts ==
Line 44:		Line 69:
	\|}		\|}
	* [[BB(6)]]		* [[BB(6)]]
	** On 2 July, mxdys solved ~~three~~ holdouts in rocq.<sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1522010493529751604][https://discord.com/channels/960643023006490684/1239205785913790465/~~1522209150699044904~~]</sup>		** On July 1, mxdys solved 4 holdouts in rocq.<sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1522010493529751604][https://discord.com/channels/960643023006490684/1239205785913790465/1522011143164657816]</sup>
	** On 3 July, mxdys [https://discord.com/channels/960643023006490684/1239205785913790465/~~1522617640554860574 solved another holdout~~] ~~in rocq using an LLM.~~		** On July 2, mxdys solved another holdout in rocq.<sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1522209150699044904]</sup>
	** mxdys [https://discord.com/channels/960643023006490684/1239205785913790465/~~1531681818439319604 released~~] ~~a new holdouts list~~ of ~~'''1,064''' machines up to equivalence, this is a '''2.74%''' reduction compared to the previous holdouts list~~.		** On July 3, mxdys [https://discord.com/channels/960643023006490684/1239205785913790465/1522617640554860574 solved another holdout] in rocq with the help of an LLM.
	** On 28 ~~July~~, prurq [https://discord.com/channels/960643023006490684/1239205785913790465/1531564686238027976 found a TM to halt]. This was [https://discord.com/channels/960643023006490684/1239205785913790465/1532416648533901503 verified by mxdys] in rocq two days later together with another machine.		** On July 28, prurq [https://discord.com/channels/960643023006490684/1239205785913790465/1531564686238027976 found a TM to halt]. This was [https://discord.com/channels/960643023006490684/1239205785913790465/1532416648533901503 verified by mxdys] in rocq two days later together with another machine.
	** ~~TODO~~: ~~BMO 9 and BMO 10~~		** On the same day, mxdys [https://discord.com/channels/960643023006490684/1239205785913790465/1531681818439319604 released] a new holdouts list of '''1,064''' machines up to equivalence, a '''2.74%''' reduction compared to the previous holdouts list.
	* [[BB(4,3)]]		* [[BB(4,3)]]
	** Andrew Ducharme reduced the number of holdouts from 4,784,443 to '''4,747,566''', a '''0.77%''' reduction.<sup>[https://discord.com/channels/960643023006490684/1084047886494470185/1522168741922607164][https://discord.com/channels/960643023006490684/1084047886494470185/1530496818155229294]</sup>		** Andrew Ducharme reduced the number of holdouts from 4,784,443 to '''4,747,566''', a '''0.77%''' reduction.<sup>[https://discord.com/channels/960643023006490684/1084047886494470185/1522168741922607164][https://discord.com/channels/960643023006490684/1084047886494470185/1530496818155229294]</sup>

AlephSquirrel: /* BB Adjacent */ Wnagtlies

2026-10-03T15:44:36Z

BB Adjacent: Wnagtlies

← Older revision		Revision as of 15:44, 3 October 2026
Line 18:		Line 18:
	TODO: Post Tag System		TODO: Post Tag System

	~~TODO:~~ Wang ~~tiles~~ (https://~~discord~~.~~com~~/~~channels~~/~~960643023006490684~~/~~1529586687926210691)~~		* [[Wang Tiles]]
			** Over July 22-25, AlephSquirrel found champions 1-4 and proved their optimality, and found the BB_WT(5) champion.
			** Prior work by Emmanuel Jeandel and Michael Rao in 2015 shows BB_WT(10) ≥ 212.<ref>https://arxiv.org/abs/1506.06492</ref>

	== Holdouts ==		== Holdouts ==

Δ⁵: formatting

2026-10-01T13:48:08Z

formatting

← Older revision		Revision as of 13:48, 1 October 2026
Line 11:		Line 11:
	[[SKI Calculus]]:		[[SKI Calculus]]:
	* A new champion was discovered for Ξ₀(12).		* A new champion was discovered for Ξ₀(12).
	* New champions were discovered for ~~Ξ₀_SK~~(12), ~~Ξ₀_SK~~(13), ~~Ξ₀_SK~~(14), ~~Ξ₀_SK~~(15), ~~Ξ₀_SK~~(16) and ~~Ξ₀_SK~~(17).		* New champions were discovered for Ξ₀<sub>SK</sub>(12), Ξ₀<sub>SK</sub>(13), Ξ₀<sub>S</sub>(14), Ξ₀<sub>SK</sub>(15), Ξ₀<sub>SK</sub>(16) and Ξ₀<sub>SK</sub>(17).
	TODO: update		TODO: update

Tjligocki: /* Holdouts */ Removed three colon to make the "Holdout" sections consistent with previous months.

2026-09-06T00:43:55Z

Holdouts: Removed three colon to make the "Holdout" sections consistent with previous months.

← Older revision		Revision as of 00:43, 6 September 2026
Line 41:		Line 41:
	\|0.77%		\|0.77%
	\|}		\|}
	* [[BB(6)]]:		* [[BB(6)]]
	** On 2 July, mxdys solved three holdouts in rocq.<sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1522010493529751604][https://discord.com/channels/960643023006490684/1239205785913790465/1522209150699044904]</sup>		** On 2 July, mxdys solved three holdouts in rocq.<sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1522010493529751604][https://discord.com/channels/960643023006490684/1239205785913790465/1522209150699044904]</sup>
	** On 3 July, mxdys [https://discord.com/channels/960643023006490684/1239205785913790465/1522617640554860574 solved another holdout] in rocq using an LLM.		** On 3 July, mxdys [https://discord.com/channels/960643023006490684/1239205785913790465/1522617640554860574 solved another holdout] in rocq using an LLM.
Line 47:		Line 47:
	** On 28 July, prurq [https://discord.com/channels/960643023006490684/1239205785913790465/1531564686238027976 found a TM to halt]. This was [https://discord.com/channels/960643023006490684/1239205785913790465/1532416648533901503 verified by mxdys] in rocq two days later together with another machine.		** On 28 July, prurq [https://discord.com/channels/960643023006490684/1239205785913790465/1531564686238027976 found a TM to halt]. This was [https://discord.com/channels/960643023006490684/1239205785913790465/1532416648533901503 verified by mxdys] in rocq two days later together with another machine.
	** TODO: BMO 9 and BMO 10		** TODO: BMO 9 and BMO 10
	* [[BB(4,3)]]:		* [[BB(4,3)]]
	** Andrew Ducharme reduced the number of holdouts from 4,784,443 to '''4,747,566''', a '''0.77%''' reduction.<sup>[https://discord.com/channels/960643023006490684/1084047886494470185/1522168741922607164][https://discord.com/channels/960643023006490684/1084047886494470185/1530496818155229294]</sup>		** Andrew Ducharme reduced the number of holdouts from 4,784,443 to '''4,747,566''', a '''0.77%''' reduction.<sup>[https://discord.com/channels/960643023006490684/1084047886494470185/1522168741922607164][https://discord.com/channels/960643023006490684/1084047886494470185/1530496818155229294]</sup>
	*[[BB(2,7)]]:		*[[BB(2,7)]]
	**Terry Ligocki enumerated 180K more subtasks, increasing the number of holdouts to '''2,185,010,519'''. A total of 700K subtasks out of the 1 million subtasks (or '''70%''') have been enumerated.		**Terry Ligocki enumerated 180K more subtasks, increasing the number of holdouts to '''2,185,010,519'''. A total of 700K subtasks out of the 1 million subtasks (or '''70%''') have been enumerated.

	[[Category:This Month in Beaver Research\|2026-07]]		[[Category:This Month in Beaver Research\|2026-07]]

AlephSquirrel at 16:07, 1 August 2026

2026-08-01T16:07:21Z

← Older revision		Revision as of 16:07, 1 August 2026
Line 17:		Line 17:
	* [https://discord.com/channels/960643023006490684/1355653587824283678/1528855324881326181 BBλ(40) was solved] on 20 July, showing that BBλ(40) ≈ 10↑↑↑16. BBλ(40) is the first solved domain in any BB variant to reach pentational values.		* [https://discord.com/channels/960643023006490684/1355653587824283678/1528855324881326181 BBλ(40) was solved] on 20 July, showing that BBλ(40) ≈ 10↑↑↑16. BBλ(40) is the first solved domain in any BB variant to reach pentational values.
	TODO: Post Tag System		TODO: Post Tag System

			TODO: Wang tiles (https://discord.com/channels/960643023006490684/1529586687926210691)

	== Holdouts ==		== Holdouts ==

Polygon: /* Holdouts */ Added table of reductions

2026-08-01T10:02:21Z

Holdouts: Added table of reductions

@@ Line 19: / Line 19: @@
 == Holdouts ==
 * [[BB(6)]]:
 ** On 2 July, mxdys solved three holdouts in rocq.<sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1522010493529751604][https://discord.com/channels/960643023006490684/1239205785913790465/1522209150699044904]</sup>

Polygon: /* Holdouts */ Added two solved machines and now BMOs as TODOs

2026-08-01T09:59:44Z

Holdouts: Added two solved machines and now BMOs as TODOs

← Older revision		Revision as of 09:59, 1 August 2026
Line 23:		Line 23:
	** On 3 July, mxdys [https://discord.com/channels/960643023006490684/1239205785913790465/1522617640554860574 solved another holdout] in rocq using an LLM.		** On 3 July, mxdys [https://discord.com/channels/960643023006490684/1239205785913790465/1522617640554860574 solved another holdout] in rocq using an LLM.
	** mxdys [https://discord.com/channels/960643023006490684/1239205785913790465/1531681818439319604 released] a new holdouts list of '''1,064''' machines up to equivalence, this is a '''2.74%''' reduction compared to the previous holdouts list.		** mxdys [https://discord.com/channels/960643023006490684/1239205785913790465/1531681818439319604 released] a new holdouts list of '''1,064''' machines up to equivalence, this is a '''2.74%''' reduction compared to the previous holdouts list.
			** On 28 July, prurq [https://discord.com/channels/960643023006490684/1239205785913790465/1531564686238027976 found a TM to halt]. This was [https://discord.com/channels/960643023006490684/1239205785913790465/1532416648533901503 verified by mxdys] in rocq two days later together with another machine.
			** TODO: BMO 9 and BMO 10
	* [[BB(4,3)]]:		* [[BB(4,3)]]:
	** Andrew Ducharme reduced the number of holdouts from 4,784,443 to '''4,747,566''', a '''0.77%''' reduction.<sup>[https://discord.com/channels/960643023006490684/1084047886494470185/1522168741922607164][https://discord.com/channels/960643023006490684/1084047886494470185/1530496818155229294]</sup>		** Andrew Ducharme reduced the number of holdouts from 4,784,443 to '''4,747,566''', a '''0.77%''' reduction.<sup>[https://discord.com/channels/960643023006490684/1084047886494470185/1522168741922607164][https://discord.com/channels/960643023006490684/1084047886494470185/1530496818155229294]</sup>

Tjligocki: /* Holdouts */ Update BB(2,7) enumeration - 70% done!

2026-07-30T21:50:15Z

Holdouts: Update BB(2,7) enumeration - 70% done!

← Older revision		Revision as of 21:50, 30 July 2026
Line 26:		Line 26:
	** Andrew Ducharme reduced the number of holdouts from 4,784,443 to '''4,747,566''', a '''0.77%''' reduction.<sup>[https://discord.com/channels/960643023006490684/1084047886494470185/1522168741922607164][https://discord.com/channels/960643023006490684/1084047886494470185/1530496818155229294]</sup>		** Andrew Ducharme reduced the number of holdouts from 4,784,443 to '''4,747,566''', a '''0.77%''' reduction.<sup>[https://discord.com/channels/960643023006490684/1084047886494470185/1522168741922607164][https://discord.com/channels/960643023006490684/1084047886494470185/1530496818155229294]</sup>
	*[[BB(2,7)]]:		*[[BB(2,7)]]:
	**Terry Ligocki enumerated ~~170K~~ more subtasks, increasing the number of holdouts to '''2,~~149~~,~~787~~,~~578~~'''. A total of ~~690K~~ subtasks out of the 1 million subtasks (or '''69%''') have been enumerated.		**Terry Ligocki enumerated 180K more subtasks, increasing the number of holdouts to '''2,185,010,519'''. A total of 700K subtasks out of the 1 million subtasks (or '''70%''') have been enumerated.

	[[Category:This Month in Beaver Research\|2026-07]]		[[Category:This Month in Beaver Research\|2026-07]]