TMBR: October 2026 - Revision history

ADucharme: /* Holdouts */ clarified 4x3 progress, eliminated claim that I made a holdout list when I just dumped prurq's progress into a single txt file

2026-11-09T09:13:08Z

Holdouts: clarified 4x3 progress, eliminated claim that I made a holdout list when I just dumped prurq's progress into a single txt file

← Older revision		Revision as of 09:13, 9 November 2026
Line 330:		Line 330:
	* [[BB(7)]]		* [[BB(7)]]
	** On October 23, Jeff Ketchersid claimed to have used Gemini 4 Argon and Claude Opus 5.5 to find a new BB(7) champion; more details are available in the Champions section.		** On October 23, Jeff Ketchersid claimed to have used Gemini 4 Argon and Claude Opus 5.5 to find a new BB(7) champion; more details are available in the Champions section.
	** Finlay reduced the numbers of holdouts from '''15,743,264''' to ''12,663,440'', a 19.56% reduction,<sup>[https://discord.com/channels/960643023006490684/1369339127652159509/1564656989999472782]</sup> though a handful of ~~machines~~ are reportedly missing from the final files.<sup>[https://discord.com/channels/960643023006490684/1369339127652159509/1563950872000467005]</sup>		** Finlay reduced the numbers of holdouts from '''15,743,264''' to '''12,663,440''', a 19.56% reduction,<sup>[https://discord.com/channels/960643023006490684/1369339127652159509/1564656989999472782]</sup> though a handful of TNF children are reportedly missing from the final files.<sup>[https://discord.com/channels/960643023006490684/1369339127652159509/1563950872000467005]</sup>
	* [[BB(4,3)]]		* [[BB(4,3)]]
	** Andrew Ducharme reduced the number of holdouts from '''4,720,332''' to '''4,673,384''', a '''0.99%''' reduction~~, by~~ using ~~enumerate.py<sup>[https://wiki.bbchallenge.org/w/index.php?title=BB(4,3)&diff=prev&oldid=9263]</sup> and~~ Meet-in-the-Middle CTL.<sup>[https://discord.com/channels/960643023006490684/1084047886494470185/1564216669256294481]</sup>		** Andrew Ducharme reduced the number of holdouts from '''4,720,332''' to '''4,673,384''', a '''0.99%''' reduction using Meet-in-the-Middle CTL with tape folding.<sup>[https://discord.com/channels/960643023006490684/1084047886494470185/1564216669256294481]</sup>
	* [[BB(2,5)]]		* [[BB(2,5)]]
	** On October 2, prurq claimed to have used Aristotle AI, to prove one of the remaining holdouts halting, reducing the unofficial count to '''38''' out of initially 60 Rocq-proven.<sup>[https://discord.com/channels/960643023006490684/1259770421046411285/1555690509245087827]</sup>		** On October 2, prurq claimed to have used Aristotle AI, to prove one of the remaining holdouts halting, reducing the unofficial count to '''38''' out of initially 60 Rocq-proven.<sup>[https://discord.com/channels/960643023006490684/1259770421046411285/1555690509245087827]</sup>
	** On October 9, prurq simulated a machine to halting using a Rocq-certified program, reducing the official and unofficial counts to respectively '''59''' and '''37'''.<sup>[https://discord.com/channels/960643023006490684/1259770421046411285/1558226290509742082]</sup>		** On October 9, prurq simulated a machine to halting using a Rocq-certified program, reducing the official and unofficial counts to respectively '''59''' and '''37'''.<sup>[https://discord.com/channels/960643023006490684/1259770421046411285/1558226290509742082]</sup>
	** On the same day, Andrew Ducharme released an unofficial holdout list of '''37''' machines.<sup>[https://discord.com/channels/960643023006490684/1259770421046411285/1558248567800336394]</sup>
	** On October 17, LegionMammal978 simulated {{TM\|1RB---3RA2LA2RB_2LB3LA4LB4RA0RA\|halt}} to over 10<sup>1,140,000,000</sup> steps,<sup>[https://discord.com/channels/960643023006490684/1259770421046411285/1561033327190872226]</sup> previously claiming the machine to be a doubly-exponential probviously halting "hard-drive vampire".<sup>[https://discord.com/channels/960643023006490684/1259770421046411285/1559400536690794496][https://discord.com/channels/960643023006490684/1259770421046411285/1559690798490980384]</sup>		** On October 17, LegionMammal978 simulated {{TM\|1RB---3RA2LA2RB_2LB3LA4LB4RA0RA\|halt}} to over 10<sup>1,140,000,000</sup> steps,<sup>[https://discord.com/channels/960643023006490684/1259770421046411285/1561033327190872226]</sup> previously claiming the machine to be a doubly-exponential probviously halting "hard-drive vampire".<sup>[https://discord.com/channels/960643023006490684/1259770421046411285/1559400536690794496][https://discord.com/channels/960643023006490684/1259770421046411285/1559690798490980384]</sup>
	* [[BB(2,6)]]		* [[BB(2,6)]]

Sligocki: /* Papers */ It was published by Dos Santos, not "a research entity"

2026-11-06T21:25:37Z

Papers: It was published by Dos Santos, not "a research entity"

← Older revision		Revision as of 21:25, 6 November 2026
Line 5:		Line 5:
	== Papers ==		== Papers ==

	* ~~Research entity~~ [https://deepmind.google/ Google DeepMind] published a paper on the usage of AI to derive simple arithmetic rules for small Turing machine holdouts~~.<sup>~~[https://arxiv.org/abs/2610.22603]~~</sup>~~		* Marco Dos Santos and researchers at [https://deepmind.google/ Google DeepMind] published a paper on the usage of AI to derive simple arithmetic rules for small Turing machine holdouts: [https://arxiv.org/abs/2610.22603 At the Limits of Computability: Steps Towards Autonomous AI Discovery on the Busy Beaver Frontier]

	== Blog Posts / In the Media ==		== Blog Posts / In the Media ==

HelpMe: wrong version number oml

2026-11-01T10:39:41Z

wrong version number oml

← Older revision		Revision as of 10:39, 1 November 2026
Line 492:		Line 492:
	\|[[wikipedia:P_versus_NP_problem\|P = NP]]		\|[[wikipedia:P_versus_NP_problem\|P = NP]]
	\|BBB(290)		\|BBB(290)
	\|Mira, GPT-6 Terra<sup>[https://discord.com/channels/960643023006490684/1385498968011575366/1566167540445741147][https://twitter.com/_Mira___Mira_/status/2116578207210361277]</sup>		\|Mira, GPT-6.1 Terra<sup>[https://discord.com/channels/960643023006490684/1385498968011575366/1566167540445741147][https://twitter.com/_Mira___Mira_/status/2116578207210361277]</sup>
	\|October 31		\|October 31
	\|Unknown - quasihalts iff P = NP. Unformalized.		\|Unknown - quasihalts iff P = NP. Unformalized.
Line 498:		Line 498:
	\|[[wikipedia:Co-NP\|NP = coNP]]		\|[[wikipedia:Co-NP\|NP = coNP]]
	\|BBB(284)		\|BBB(284)
	\|Mira, GPT-6 Terra		\|Mira, GPT-6.1 Terra
	\|October 31		\|October 31
	\|Unknown - quasihalts iff NP = coNP. Unformalized.		\|Unknown - quasihalts iff NP = coNP. Unformalized.

HelpMe: added some cryptids and stuff.

2026-11-01T10:37:29Z

added some cryptids and stuff.

Show changes

Polygon: /* Holdouts */ removed paragraph about the new BB(7) champion (moved to champions section)

2026-10-31T21:51:11Z

Holdouts: removed paragraph about the new BB(7) champion (moved to champions section)

← Older revision		Revision as of 21:51, 31 October 2026
Line 311:		Line 311:
	** On the same day, Ahmer Reza simulated another holdout, a Reus Vampire, to halting.<sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1565656577178992651]</sup>		** On the same day, Ahmer Reza simulated another holdout, a Reus Vampire, to halting.<sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1565656577178992651]</sup>
	* [[BB(7)]]		* [[BB(7)]]
	** On October 23, Jeff Ketchersid claimed to have used Gemini 4 Argon and Claude Opus 5.5 to find a '''new BB(7) champion''', {{TM\|1RB0RG_1RC1RB_0RD---_0LE0LD_0LF1LE_1RA1LF_1LC0RB\|halt}}, which runs for over <math>3 \uparrow^{20} 3</math> steps, leaving a similarly notated number of ones on the tape.<sup>[https://discord.com/channels/960643023006490684/1369339127652159509/1563048075184836699][https://github.com/jeff87654/busy-beaver/commit/9d9a1a4fcaa5dbabc19e887e0fd834cb79567081]</sup> This dethrones the previous champion, {{TM\|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF\|halt}}, found by Pavel Kropitz in May 2025,<sup>[https://wiki.bbchallenge.org/w/index.php?title=BB(7)&oldid=9434#cite_note-10]</sup> which runs for around <math>2 \uparrow^{11} 2 \uparrow^{11} 3</math> steps. Both of these champions begin by setting a pattern that repeats dozens of times, which is iterated upon by using an Ackermann-level mechanism to reach similarly impressive heights. Notably, this new champion has a twin machine, {{TM\|1RB0RG_1RC1RB_0RD1RZ_0LE0LD_0LF1LE_1RA1LF_0LD0RB\|halt}}, which differs in only one transition, and uses the same mechanism to output the same number of ones, but runs slightly shorter than than the champion.
	** Finlay reduced the numbers of holdouts from '''15,743,264''' to ''12,663,440'', a 19.56% reduction,<sup>[https://discord.com/channels/960643023006490684/1369339127652159509/1564656989999472782]</sup> though a handful of machines are reportedly missing from the final files.<sup>[https://discord.com/channels/960643023006490684/1369339127652159509/1563950872000467005]</sup>		** Finlay reduced the numbers of holdouts from '''15,743,264''' to ''12,663,440'', a 19.56% reduction,<sup>[https://discord.com/channels/960643023006490684/1369339127652159509/1564656989999472782]</sup> though a handful of machines are reportedly missing from the final files.<sup>[https://discord.com/channels/960643023006490684/1369339127652159509/1563950872000467005]</sup>
	* [[BB(4,3)]]		* [[BB(4,3)]]

Polygon: /* Champions */ moved BB(7) champion text from holdouts section to champions section

2026-10-31T21:49:49Z

Champions: moved BB(7) champion text from holdouts section to champions section

← Older revision		Revision as of 21:49, 31 October 2026
Line 224:		Line 224:
	** On October 22, a new bound for BB(9) slightly larger than that for BB(8) at the time.<sup>[https://github.com/jeff87654/busy-beaver/commit/52aab0ec4fbf1c93c177255a50eefb9e1e5dcc18]</sup>		** On October 22, a new bound for BB(9) slightly larger than that for BB(8) at the time.<sup>[https://github.com/jeff87654/busy-beaver/commit/52aab0ec4fbf1c93c177255a50eefb9e1e5dcc18]</sup>
	** On October 22, BB(9) > <math>f_{\omega}^6(12)</math>, with their new BB(8) champion from October 19 also being announced along with this champion on this day.<sup>[https://discord.com/channels/960643023006490684/1331570843829932063/1562971399029526539][https://github.com/jeff87654/busy-beaver/commit/3750b1490e0e7b01e6301450e1b1774afb2658c5][https://github.com/jeff87654/busy-beaver/commit/e107e3b1ac28da6dae224181ae71fe1627348bd9]</sup>		** On October 22, BB(9) > <math>f_{\omega}^6(12)</math>, with their new BB(8) champion from October 19 also being announced along with this champion on this day.<sup>[https://discord.com/channels/960643023006490684/1331570843829932063/1562971399029526539][https://github.com/jeff87654/busy-beaver/commit/3750b1490e0e7b01e6301450e1b1774afb2658c5][https://github.com/jeff87654/busy-beaver/commit/e107e3b1ac28da6dae224181ae71fe1627348bd9]</sup>
	** On October 23, BB(7) > <math>3 \uparrow^{20} 3</math>. ~~Prior to this,~~ the ~~aforementioned BB(7)~~ champion, found by Pavel Kropitz, ~~ran~~ for around <math>2 \uparrow^{11} 2 \uparrow^{11} 3</math> steps. ~~(See relevant section~~ in ~~BB(7) for more information~~.)		** On October 23, Jeff Ketchersid claimed to have used Gemini 4 Argon and Claude Opus 5.5 to find a '''new BB(7) champion''', {{TM\|1RB0RG_1RC1RB_0RD---_0LE0LD_0LF1LE_1RA1LF_1LC0RB\|halt}}, which runs for over <math>3 \uparrow^{20} 3</math> steps, leaving a similarly notated number of ones on the tape.<sup>[https://discord.com/channels/960643023006490684/1369339127652159509/1563048075184836699][https://github.com/jeff87654/busy-beaver/commit/9d9a1a4fcaa5dbabc19e887e0fd834cb79567081]</sup> This dethrones the previous champion, {{TM\|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF\|halt}}, found by Pavel Kropitz in May 2025,<sup>[https://wiki.bbchallenge.org/w/index.php?title=BB(7)&oldid=9434#cite_note-10]</sup> which runs for around <math>2 \uparrow^{11} 2 \uparrow^{11} 3</math> steps. Both of these champions begin by setting a pattern that repeats dozens of times, which is iterated upon by using an Ackermann-level mechanism to reach similarly impressive heights. Notably, this new champion has a twin machine, {{TM\|1RB0RG_1RC1RB_0RD1RZ_0LE0LD_0LF1LE_1RA1LF_0LD0RB\|halt}}, which differs in only one transition, and uses the same mechanism to output the same number of ones, but runs slightly shorter than than the champion.
	** On October 26, BB(12) > <math>f_{\omega + 2}(f_{\omega + 1}^2(3))</math>.<sup>[https://discord.com/channels/960643023006490684/1084047886494470185/1564399479707406348]</sup>		** On October 26, BB(12) > <math>f_{\omega + 2}(f_{\omega + 1}^2(3))</math>.<sup>[https://discord.com/channels/960643023006490684/1084047886494470185/1564399479707406348]</sup>
	** On the same day, BB(11) > <math>f_{\omega + 1}(f_\omega^2(5))</math>.<sup>[https://github.com/jeff87654/busy-beaver/commit/27d8d20284b2a6c57f7389a7b3d8c587275b8b5a]</sup>		** On the same day, BB(11) > <math>f_{\omega + 1}(f_\omega^2(5))</math>.<sup>[https://github.com/jeff87654/busy-beaver/commit/27d8d20284b2a6c57f7389a7b3d8c587275b8b5a]</sup>

Polygon: /* Champions */ Noted new and previous lower bounds in table

2026-10-31T13:09:07Z

Champions: Noted new and previous lower bounds in table

← Older revision		Revision as of 13:09, 31 October 2026
Line 95:		Line 95:
	!Champion		!Champion
	!Discoverer		!Discoverer
	!~~Lower~~ bound		!New lower bound
	!Discoverer		!Discoverer
	!~~Lower~~ bound		!Previous lower bound
	\|-		\|-
	\|BB(7)		\|BB(7)

A6P457: /* Cryptids */ Added Goldbach BB(10,6)

2026-10-31T12:51:47Z

Cryptids: Added Goldbach BB(10,6)

← Older revision		Revision as of 12:51, 31 October 2026
Line 326:		Line 326:

	== Cryptids ==		== Cryptids ==
	All Turing machines mentioned in this section work with an alphabet of 2 symbols unless explicitly stated. The bounds given also only consider Turing machines which work with 2 symbols.		All Turing machines mentioned in this section work with an alphabet of 2 symbols unless explicitly stated. The state bounds given also only consider Turing machines which work with 2 symbols.

	* [[Cryptids#Cryptids at the Edge\|Cryptids in the Wild]] (+ [[User:RobinCodes/Machines at the Edge\|Energy Vampires]])		* [[Cryptids#Cryptids at the Edge\|Cryptids in the Wild]] (+ [[User:RobinCodes/Machines at the Edge\|Energy Vampires]])
Line 354:		Line 354:
	*** On October 13, Google DeepMind claimed to have used Gemini 3.1 Pro to [https://github.com/google-deepmind/cryptids/blob/main/Cryptids/Goldbach21.lean formally] reduce the number of states required from 24 to 21.<sup>[https://github.com/google-deepmind/cryptids/commit/176e5f980ddc6e74f963b983e9d4ba7b28bacc26]</sup>		*** On October 13, Google DeepMind claimed to have used Gemini 3.1 Pro to [https://github.com/google-deepmind/cryptids/blob/main/Cryptids/Goldbach21.lean formally] reduce the number of states required from 24 to 21.<sup>[https://github.com/google-deepmind/cryptids/commit/176e5f980ddc6e74f963b983e9d4ba7b28bacc26]</sup>
	*** On October 25, Jeff Ketchersid claimed to have used Claude Opus 5.5 to discover and [https://github.com/jeff87654/busy-beaver/tree/main/PA/goldbach/coq prove] the property of a 449-state TM that halts if and only if Peano Arithmetic can prove Goldbach's conjecture.<sup>[https://discord.com/channels/960643023006490684/1331570843829932063/1563983209744834570][https://github.com/jeff87654/busy-beaver/tree/main/PA/goldbach]</sup>		*** On October 25, Jeff Ketchersid claimed to have used Claude Opus 5.5 to discover and [https://github.com/jeff87654/busy-beaver/tree/main/PA/goldbach/coq prove] the property of a 449-state TM that halts if and only if Peano Arithmetic can prove Goldbach's conjecture.<sup>[https://discord.com/channels/960643023006490684/1331570843829932063/1563983209744834570][https://github.com/jeff87654/busy-beaver/tree/main/PA/goldbach]</sup>
			*** On October 31, Charlie used Claude to discover a BB(10,6) machine that halts if and only if Goldbach's conjecture is false, reducing the number of instructions from 41 to 34<sup>[https://wiki.bbchallenge.org/w/index.php?title=Cryptids&diff=9932&oldid=9926]</sup>
	** [[wikipedia:Riemann_hypothesis\|Riemann Hypothesis]]		** [[wikipedia:Riemann_hypothesis\|Riemann Hypothesis]]
	*** On October 10, Google DeepMind claimed to have used Gemini 3.1 Pro to [https://github.com/google-deepmind/cryptids/blob/7ba85376a9349d54e3460b46ed776df6e094c7dc/Cryptids/Riemann120.lean formalize] the claims of Shunia's 120-state TM's halting if and only if the Riemann hypothesis is false.<sup>[https://github.com/google-deepmind/cryptids/commit/7ba85376a9349d54e3460b46ed776df6e094c7dc#diff-c8f1a37032a46e9025c82851438f2d05a1ea34802d5a717c83eeb530a736014f]</sup>		*** On October 10, Google DeepMind claimed to have used Gemini 3.1 Pro to [https://github.com/google-deepmind/cryptids/blob/7ba85376a9349d54e3460b46ed776df6e094c7dc/Cryptids/Riemann120.lean formalize] the claims of Shunia's 120-state TM's halting if and only if the Riemann hypothesis is false.<sup>[https://github.com/google-deepmind/cryptids/commit/7ba85376a9349d54e3460b46ed776df6e094c7dc#diff-c8f1a37032a46e9025c82851438f2d05a1ea34802d5a717c83eeb530a736014f]</sup>

A6P457: /* Champions */ Added BB(5,5) and BB(6,5)

2026-10-31T12:28:04Z

Champions: Added BB(5,5) and BB(6,5)

← Older revision		Revision as of 12:28, 31 October 2026
Line 175:		Line 175:
	\|BB(8,4)		\|BB(8,4)
	\|{{TM\|1RC3LB2RD2RA_1RF3RB1LC2RA_3RB1LB3LC2RC_0RF2LD1LD2LE_3RE3LB2RE2LE_0LG0LH1RZ3RB_1LG2RD1LG3RG_0LH0LC0LH3RD\|halt}}		\|{{TM\|1RC3LB2RD2RA_1RF3RB1LC2RA_3RB1LB3LC2RC_0RF2LD1LD2LE_3RE3LB2RE2LE_0LG0LH1RZ3RB_1LG2RD1LG3RG_0LH0LC0LH3RD\|halt}}
	\| rowspan="3" \|[[User:Loader3229]]		\| rowspan="5" \|[[User:Loader3229]]
	\|<math>f_{\omega + 2}(f_\omega^4(12))</math>		\|<math>f_{\omega + 2}(f_\omega^4(12))</math>
	\| rowspan="2" \|<math>f_{\omega + 1}(f_{\omega}(f_7(2)))</math>		\| rowspan="2" \|<math>f_{\omega + 1}(f_{\omega}(f_7(2)))</math>
Line 188:		Line 188:
	\|racheline		\|racheline
	\|<math>f_{\omega}(2 \uparrow^{15} 5)</math>		\|<math>f_{\omega}(2 \uparrow^{15} 5)</math>
			\|-
			\|BB(5,5)
			\|{{TM\|1LB3LB4LC2RA4LB_3LE3RB1LC2RA4RD_3RB1LB3LC2RC4LC_1RZ------4LD4LE_3RB------4LE3LC\|halt}}
			\|<math>f_{\omega + 1}(f_{\omega}^4(6))</math>
			\|-
			\|BB(6,5)
			\|{{TM\|0LB3LB4LC2RA4LB_1LF3RB1LC2RA4RD_3RB1LB3LC2RC4LC_1RZ------4LD4LE_3RB------4LE3LC_4RF3RE---0RA3LC\|halt}}
			\|<math>f_{\omega + 2}(126)</math>
	\|-		\|-
	\|BB(2,7)		\|BB(2,7)
Line 228:		Line 236:
	** On October 29, BB(8,4) > <math>f_{\omega + 2}(83)</math>.<sup>[https://discord.com/channels/960643023006490684/1084047886494470185/1565368627304210483]</sup>		** On October 29, BB(8,4) > <math>f_{\omega + 2}(83)</math>.<sup>[https://discord.com/channels/960643023006490684/1084047886494470185/1565368627304210483]</sup>
	** On October 30, BB(8,4) > <math>f_{\omega + 2}(f_\omega^4(12))</math><sup>[https://discord.com/channels/960643023006490684/1084047886494470185/1565534357181960424]</sup> and BB(9,4) > <math>f_{\omega + 3}(16)</math>.<sup>[https://discord.com/channels/960643023006490684/1084047886494470185/1565660171684941895]</sup>		** On October 30, BB(8,4) > <math>f_{\omega + 2}(f_\omega^4(12))</math><sup>[https://discord.com/channels/960643023006490684/1084047886494470185/1565534357181960424]</sup> and BB(9,4) > <math>f_{\omega + 3}(16)</math>.<sup>[https://discord.com/channels/960643023006490684/1084047886494470185/1565660171684941895]</sup>
			** On October 31, BB(5,5) > <math>f_{\omega + 1}(f_{\omega}^4(6)</math> and BB(6,5) > <math>f_{\omega + 2}(126)</math>.<sup>[https://wiki.bbchallenge.org/w/index.php?title=Champions&diff=9938&oldid=9876]</sup>
	* Jacobzheng discovered a 6-state, 4-symbol Turing machine that demonstrates the bound BB(6,4) > <math>f_{\omega + 1}(10 \uparrow\uparrow 65533)</math>.<sup>[https://wiki.bbchallenge.org/w/index.php?title=Champions&diff=prev&oldid=9777]</sup>		* Jacobzheng discovered a 6-state, 4-symbol Turing machine that demonstrates the bound BB(6,4) > <math>f_{\omega + 1}(10 \uparrow\uparrow 65533)</math>.<sup>[https://wiki.bbchallenge.org/w/index.php?title=Champions&diff=prev&oldid=9777]</sup>

Yves30.: Add direct link to attached document about enan456 cross-examination of 4 potential cryptids found by Google Deepmind

2026-10-30T13:27:56Z

Add direct link to attached document about enan456 cross-examination of 4 potential cryptids found by Google Deepmind

← Older revision		Revision as of 13:27, 30 October 2026
Line 297:		Line 297:
	** On the same day, stratus1221 simulated another two machines to halting.<sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1563927722445508618]</sup>		** On the same day, stratus1221 simulated another two machines to halting.<sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1563927722445508618]</sup>
	** On October 27, stratus1221 simulated another machine to halting.<sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1564592221603495937]</sup>		** On October 27, stratus1221 simulated another machine to halting.<sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1564592221603495937]</sup>
	** On October 29, enan456 claimed to have used Claude Fable 5.1<sup>[https://github.com/Enan456/bbchallenge-proofs/commit/72965887b21cfc0310a90c93ec36b09d8b3ee8f6]</sup> to [https://github.com/Enan456/bbchallenge-proofs reproduce] 4 of Google DeepMind's potential cryptids forward behavior and to confirm the rules established. None of them have been decided<sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1565230636741169234]</sup>		** On October 29, enan456 claimed to have used Claude Fable 5.1<sup>[https://github.com/Enan456/bbchallenge-proofs/commit/72965887b21cfc0310a90c93ec36b09d8b3ee8f6]</sup> to [https://github.com/Enan456/bbchallenge-proofs reproduce] 4 of Google DeepMind's potential cryptids forward behavior and to confirm the rules established. None of them have been decided<sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1565230636741169234][https://github.com/Enan456/bbchallenge-proofs/blob/main/docs/results/2026-10-22-gdm-cross-verification.md]</sup>
	** On October 30, Ahmer Reza simulated four holdouts, all Reus Vampires, to halting.<sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1565557844869382316]</sup>		** On October 30, Ahmer Reza simulated four holdouts, all Reus Vampires, to halting.<sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1565557844869382316]</sup>
	** On the same day, mxdys released a holdout list of '''608''' machines up to equivalence.<sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1565584609176195113]</sup>		** On the same day, mxdys released a holdout list of '''608''' machines up to equivalence.<sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1565584609176195113]</sup>