TMBR: February 2026 - Revision history

Sligocki: Remove note about being a draft

2026-04-17T01:56:19Z

Remove note about being a draft

← Older revision		Revision as of 01:56, 17 April 2026
Line 1:		Line 1:
	{{TMBRnav\|January 2026\|March 2026}}		{{TMBRnav\|January 2026\|March 2026}}

	''This edition of TMBR is in progress and has not yet been released. Please add any notes you think may be relevant (including in the form a of a TODO with a link to any relevant Discord discussion).''

	[[:Category:This Month in Beaver Research\|This Month in Beaver Research]] for February 2026. This month, we had an excellent reduction in [[BB(6)]] holdouts, as well as a nice reduction in the [[BB(7)]] holdouts. Amazingly, we saw '''two''' [[BB(2,5)]] machines were proven nonhalting for the second month in a row. @LegionMammal978 created two new Turing machines whose halting status is independent of the theories of [https://en.wikipedia.org/w/index.php?title=Peano_Arithmetic Peano Arithmetic] (372-state)[https://discord.com/channels/960643023006490684/1466652214247559198/1471186212743155856 <sup><nowiki>[1]</nowiki></sup>] and ZFC paired with the axiom "There exist arbitrarily large [[wikipedia:Subtle_cardinal\|subtle cardinals]]" (493-state)[https://discord.com/channels/960643023006490684/1474221209494491198/1476249816488087572 <sup><nowiki>[2]</nowiki></sup>]. For more context, see [[Logical independence]]. A new simulation method was introduced by @prurq - see [https://discord.com/channels/960643023006490684/1471178503235043493/1471178503235043493 Discord]. Moreover, Tristan Stérin announced that the paper "Determination of the fifth Busy Beaver value" was accepted to the prestigious 58th ACM [[wikipedia:Symposium_on_Theory_of_Computing\|Symposium on Theory of Computing]] ([https://acm-stoc.org/stoc2026/ STOC 2026]), and there would be a talk at the event in [[wikipedia:Salt_Lake_City\|Salt Lake City]] in June 2026.		[[:Category:This Month in Beaver Research\|This Month in Beaver Research]] for February 2026. This month, we had an excellent reduction in [[BB(6)]] holdouts, as well as a nice reduction in the [[BB(7)]] holdouts. Amazingly, we saw '''two''' [[BB(2,5)]] machines were proven nonhalting for the second month in a row. @LegionMammal978 created two new Turing machines whose halting status is independent of the theories of [https://en.wikipedia.org/w/index.php?title=Peano_Arithmetic Peano Arithmetic] (372-state)[https://discord.com/channels/960643023006490684/1466652214247559198/1471186212743155856 <sup><nowiki>[1]</nowiki></sup>] and ZFC paired with the axiom "There exist arbitrarily large [[wikipedia:Subtle_cardinal\|subtle cardinals]]" (493-state)[https://discord.com/channels/960643023006490684/1474221209494491198/1476249816488087572 <sup><nowiki>[2]</nowiki></sup>]. For more context, see [[Logical independence]]. A new simulation method was introduced by @prurq - see [https://discord.com/channels/960643023006490684/1471178503235043493/1471178503235043493 Discord]. Moreover, Tristan Stérin announced that the paper "Determination of the fifth Busy Beaver value" was accepted to the prestigious 58th ACM [[wikipedia:Symposium_on_Theory_of_Computing\|Symposium on Theory of Computing]] ([https://acm-stoc.org/stoc2026/ STOC 2026]), and there would be a talk at the event in [[wikipedia:Salt_Lake_City\|Salt Lake City]] in June 2026.

Sligocki: Add my talk at G4G

2026-04-17T01:55:48Z

Add my talk at G4G

← Older revision		Revision as of 01:55, 17 April 2026
Line 15:		Line 15:

	== Talks ==		== Talks ==
			* Shawn Ligocki gave a 6min talk about Busy Beaver at [https://www.gathering4gardner.org/g4g16-info/ Gathering 4 Gardner 16] in San Francisco on 19 Feb. The talk was recorded, but is not available yet (as of Apr 2026).
	* Tristan Stérin [https://discord.com/channels/960643023006490684/1151558585344593950/1467922688638062672 announced] that the paper "Determination of the fifth Busy Beaver value" was accepted for the 58th ACM [[wikipedia:Symposium_on_Theory_of_Computing\|Symposium on Theory of Computing]] ([https://acm-stoc.org/stoc2026/ STOC 2026]), and there would be a talk at the event in [[wikipedia:Salt_Lake_City\|Salt Lake City]] in June 2026		* Tristan Stérin [https://discord.com/channels/960643023006490684/1151558585344593950/1467922688638062672 announced] that the paper "Determination of the fifth Busy Beaver value" was accepted for the 58th ACM [[wikipedia:Symposium_on_Theory_of_Computing\|Symposium on Theory of Computing]] ([https://acm-stoc.org/stoc2026/ STOC 2026]), and there would be a talk at the event in [[wikipedia:Salt_Lake_City\|Salt Lake City]] in June 2026

RobinCodes: Updated references for consistency and fixed grammatical error

2026-04-11T21:07:49Z

Updated references for consistency and fixed grammatical error

RobinCodes: /* Holdouts */ Fixed link formattings

2026-03-31T16:32:57Z

Holdouts: Fixed link formattings

RobinCodes: /* Misc */ Added links to announcements

2026-03-31T16:25:34Z

Misc: Added links to announcements

← Older revision		Revision as of 16:25, 31 March 2026
Line 3:		Line 3:
	''This edition of TMBR is in progress and has not yet been released. Please add any notes you think may be relevant (including in the form a of a TODO with a link to any relevant Discord discussion).''		''This edition of TMBR is in progress and has not yet been released. Please add any notes you think may be relevant (including in the form a of a TODO with a link to any relevant Discord discussion).''

	[[:Category:This Month in Beaver Research\|This Month in Beaver Research]] for February 2026. This month, we had an excellent reduction in [[BB(6)]] holdouts, as well as a nice reduction in the [[BB(7)]] holdouts. Amazingly, we saw '''two''' [[BB(2,5)]] machines were proven nonhalting for the second month in a row. @LegionMammal978 created two new Turing machines whose halting status is independent of the theories of [https://en.wikipedia.org/w/index.php?title=Peano_Arithmetic Peano Arithmetic] (372-state) and ZFC paired with the axiom "There exist arbitrarily large [[wikipedia:Subtle_cardinal\|subtle cardinals]]" (493-state). For more context, see [[Logical independence]]. A new simulation method was introduced by @prurq - see [https://discord.com/channels/960643023006490684/1471178503235043493/1471178503235043493 Discord]. Moreover, Tristan Stérin announced that the paper "Determination of the fifth Busy Beaver value" was accepted to the prestigious 58th ACM [[wikipedia:Symposium_on_Theory_of_Computing\|Symposium on Theory of Computing]] ([https://acm-stoc.org/stoc2026/ STOC 2026]), and there would be a talk at the event in [[wikipedia:Salt_Lake_City\|Salt Lake City]] in June 2026.		[[:Category:This Month in Beaver Research\|This Month in Beaver Research]] for February 2026. This month, we had an excellent reduction in [[BB(6)]] holdouts, as well as a nice reduction in the [[BB(7)]] holdouts. Amazingly, we saw '''two''' [[BB(2,5)]] machines were proven nonhalting for the second month in a row. @LegionMammal978 created two new Turing machines whose halting status is independent of the theories of [https://en.wikipedia.org/w/index.php?title=Peano_Arithmetic Peano Arithmetic] (372-state)[https://discord.com/channels/960643023006490684/1466652214247559198/1471186212743155856 <sup><nowiki>[1]</nowiki></sup>] and ZFC paired with the axiom "There exist arbitrarily large [[wikipedia:Subtle_cardinal\|subtle cardinals]]" (493-state)[https://discord.com/channels/960643023006490684/1474221209494491198/1476249816488087572 <sup><nowiki>[2]</nowiki></sup>]. For more context, see [[Logical independence]]. A new simulation method was introduced by @prurq - see [https://discord.com/channels/960643023006490684/1471178503235043493/1471178503235043493 Discord]. Moreover, Tristan Stérin announced that the paper "Determination of the fifth Busy Beaver value" was accepted to the prestigious 58th ACM [[wikipedia:Symposium_on_Theory_of_Computing\|Symposium on Theory of Computing]] ([https://acm-stoc.org/stoc2026/ STOC 2026]), and there would be a talk at the event in [[wikipedia:Salt_Lake_City\|Salt Lake City]] in June 2026.

	== Champions ==		== Champions ==
Line 10:		Line 10:
	== Misc ==		== Misc ==

	* @LegionMammal978 created two new Turing machines, whose halting status is independent of the theories of [https://en.wikipedia.org/w/index.php?title=Peano_Arithmetic Peano Arithmetic] (BB(372)) and ZFC+"There exist arbitrarily large [[wikipedia:Subtle_cardinal\|subtle cardinals]]" (BB(493)) (see [[Logical independence]] for more context and the machines)		* @LegionMammal978 created two new Turing machines, whose halting status is independent of the theories of [https://en.wikipedia.org/w/index.php?title=Peano_Arithmetic Peano Arithmetic] (BB(372))[https://discord.com/channels/960643023006490684/1466652214247559198/1471186212743155856 <sup><nowiki>[1]</nowiki></sup>] and ZFC+"There exist arbitrarily large [[wikipedia:Subtle_cardinal\|subtle cardinals]]" (BB(493)) [https://discord.com/channels/960643023006490684/1474221209494491198/1476249816488087572 <sup><nowiki>[2]</nowiki></sup>] (see [[Logical independence]] for more context and the machines)
	* Discord user prurq announced a new simulation method, "Cascade," which works especially well, see [https://discord.com/channels/960643023006490684/1471178503235043493/1471178503235043493 Discord thread].		* Discord user prurq announced a new simulation method, "Cascade," which works especially well, see [https://discord.com/channels/960643023006490684/1471178503235043493/1471178503235043493 Discord thread].
	* @mxdys [https://discord.com/channels/960643023006490684/1226543091264126976/1469937272752177298 introduced a new longitudinal acceleration method], which [https://discord.com/channels/960643023006490684/1239205785913790465/1473950417275850804 had very fruitful results].		* @mxdys [https://discord.com/channels/960643023006490684/1226543091264126976/1469937272752177298 introduced a new longitudinal acceleration method], which [https://discord.com/channels/960643023006490684/1239205785913790465/1473950417275850804 had very fruitful results].

RobinCodes: /* Misc */ Removed "nonhalting" as we technically cannot know that; added short notice after "Logical independece": For more context and the machines.

2026-03-30T22:54:07Z

Misc: Removed "nonhalting" as we technically cannot know that; added short notice after "Logical independece": For more context and the machines.

← Older revision		Revision as of 22:54, 30 March 2026
Line 3:		Line 3:
	''This edition of TMBR is in progress and has not yet been released. Please add any notes you think may be relevant (including in the form a of a TODO with a link to any relevant Discord discussion).''		''This edition of TMBR is in progress and has not yet been released. Please add any notes you think may be relevant (including in the form a of a TODO with a link to any relevant Discord discussion).''

	[[:Category:This Month in Beaver Research\|This Month in Beaver Research]] for February 2026. This month, we had an excellent reduction in [[BB(6)]] holdouts, as well as a nice reduction in the [[BB(7)]] holdouts. Amazingly, we saw '''two''' [[BB(2,5)]] machines were proven nonhalting for the second month in a row. @LegionMammal978 created two new machines whose halting status is independent of the theories of [https://en.wikipedia.org/w/index.php?title=Peano_Arithmetic Peano Arithmetic] (372-state) and ZFC paired with the axiom "There exist arbitrarily large [[wikipedia:Subtle_cardinal\|subtle cardinals]]" (493-state). For more context, see [[Logical independence]]. A new simulation method was introduced by @prurq - see [https://discord.com/channels/960643023006490684/1471178503235043493/1471178503235043493 Discord]. Moreover, Tristan Stérin announced that the paper "Determination of the fifth Busy Beaver value" was accepted to the prestigious 58th ACM [[wikipedia:Symposium_on_Theory_of_Computing\|Symposium on Theory of Computing]] ([https://acm-stoc.org/stoc2026/ STOC 2026]), and there would be a talk at the event in [[wikipedia:Salt_Lake_City\|Salt Lake City]] in June 2026.		[[:Category:This Month in Beaver Research\|This Month in Beaver Research]] for February 2026. This month, we had an excellent reduction in [[BB(6)]] holdouts, as well as a nice reduction in the [[BB(7)]] holdouts. Amazingly, we saw '''two''' [[BB(2,5)]] machines were proven nonhalting for the second month in a row. @LegionMammal978 created two new Turing machines whose halting status is independent of the theories of [https://en.wikipedia.org/w/index.php?title=Peano_Arithmetic Peano Arithmetic] (372-state) and ZFC paired with the axiom "There exist arbitrarily large [[wikipedia:Subtle_cardinal\|subtle cardinals]]" (493-state). For more context, see [[Logical independence]]. A new simulation method was introduced by @prurq - see [https://discord.com/channels/960643023006490684/1471178503235043493/1471178503235043493 Discord]. Moreover, Tristan Stérin announced that the paper "Determination of the fifth Busy Beaver value" was accepted to the prestigious 58th ACM [[wikipedia:Symposium_on_Theory_of_Computing\|Symposium on Theory of Computing]] ([https://acm-stoc.org/stoc2026/ STOC 2026]), and there would be a talk at the event in [[wikipedia:Salt_Lake_City\|Salt Lake City]] in June 2026.

	== Champions ==		== Champions ==
Line 10:		Line 10:
	== Misc ==		== Misc ==

	* @LegionMammal978 created two new ~~nonhalting~~ machines, whose halting status is independent of the theories of [https://en.wikipedia.org/w/index.php?title=Peano_Arithmetic Peano Arithmetic] (BB(372)) and ZFC+"There exist arbitrarily large [[wikipedia:Subtle_cardinal\|subtle cardinals]]" (BB(493)) (see [[Logical independence]])		* @LegionMammal978 created two new Turing machines, whose halting status is independent of the theories of [https://en.wikipedia.org/w/index.php?title=Peano_Arithmetic Peano Arithmetic] (BB(372)) and ZFC+"There exist arbitrarily large [[wikipedia:Subtle_cardinal\|subtle cardinals]]" (BB(493)) (see [[Logical independence]] for more context and the machines)
	* Discord user prurq announced a new simulation method, "Cascade," which works especially well, see [https://discord.com/channels/960643023006490684/1471178503235043493/1471178503235043493 Discord thread].		* Discord user prurq announced a new simulation method, "Cascade," which works especially well, see [https://discord.com/channels/960643023006490684/1471178503235043493/1471178503235043493 Discord thread].
	* @mxdys [https://discord.com/channels/960643023006490684/1226543091264126976/1469937272752177298 introduced a new longitudinal acceleration method], which [https://discord.com/channels/960643023006490684/1239205785913790465/1473950417275850804 had very fruitful results].		* @mxdys [https://discord.com/channels/960643023006490684/1226543091264126976/1469937272752177298 introduced a new longitudinal acceleration method], which [https://discord.com/channels/960643023006490684/1239205785913790465/1473950417275850804 had very fruitful results].

ADucharme: copy editing

2026-03-30T20:04:52Z

copy editing

ADucharme: introduction edits + reorg

2026-03-30T19:58:03Z

introduction edits + reorg

← Older revision		Revision as of 19:58, 30 March 2026
Line 3:		Line 3:
	''This edition of TMBR is in progress and has not yet been released. Please add any notes you think may be relevant (including in the form a of a TODO with a link to any relevant Discord discussion).''		''This edition of TMBR is in progress and has not yet been released. Please add any notes you think may be relevant (including in the form a of a TODO with a link to any relevant Discord discussion).''

	[[:Category:This Month in Beaver Research\|This Month in Beaver Research]] for February 2026. This month, we had an ~~amazing~~ reduction in [[BB(6)]] holdouts, as well as a nice reduction in the [[BB(7)]] holdouts. ~~We again had the chance to see a rare occurence:~~ '''two''' [[BB(2,5)]] machines were proven nonhalting ~~this~~ month. ~~A new simulation method was introduced by prurq - see [https://discord.com/channels/960643023006490684/1471178503235043493/1471178503235043493 Discord]. Legion~~ created two new ~~nonhalting~~ machines, whose halting status is independent of the theories of [https://en.wikipedia.org/w/index.php?title=Peano_Arithmetic Peano Arithmetic] (372-state) and ZFC + "There exist arbitrarily large [[wikipedia:Subtle_cardinal\|subtle cardinals]]" (493-state) ~~- See~~ [[Logical independence]]. Moreover, Tristan Stérin announced that the paper "Determination of the fifth Busy Beaver value" was accepted ~~for~~ the 58th ACM [[wikipedia:Symposium_on_Theory_of_Computing\|Symposium on Theory of Computing]] ([https://acm-stoc.org/stoc2026/ STOC 2026]), and there would be a talk at the event in [[wikipedia:Salt_Lake_City\|Salt Lake City]] in June 2026.		[[:Category:This Month in Beaver Research\|This Month in Beaver Research]] for February 2026. This month, we had an excellent reduction in [[BB(6)]] holdouts, as well as a nice reduction in the [[BB(7)]] holdouts. Amazingly, we saw '''two''' [[BB(2,5)]] machines were proven nonhalting for the second month in a row. @LegionMammal978 created two new machines whose halting status is independent of the theories of [https://en.wikipedia.org/w/index.php?title=Peano_Arithmetic Peano Arithmetic] (372-state) and ZFC paired with the axiom "There exist arbitrarily large [[wikipedia:Subtle_cardinal\|subtle cardinals]]" (493-state). For more context, see [[Logical independence]]. A new simulation method was introduced by @prurq - see [https://discord.com/channels/960643023006490684/1471178503235043493/1471178503235043493 Discord]. Moreover, Tristan Stérin announced that the paper "Determination of the fifth Busy Beaver value" was accepted to the prestigious 58th ACM [[wikipedia:Symposium_on_Theory_of_Computing\|Symposium on Theory of Computing]] ([https://acm-stoc.org/stoc2026/ STOC 2026]), and there would be a talk at the event in [[wikipedia:Salt_Lake_City\|Salt Lake City]] in June 2026.

	== Champions ==		== Champions ==

RobinCodes: /* Misc */ List format for Misc section

2026-03-07T13:36:15Z

Misc: List format for Misc section

← Older revision		Revision as of 13:36, 7 March 2026
Line 9:		Line 9:

	== Misc ==		== Misc ==
	@LegionMammal978 created two new nonhalting machines, whose halting status is independent of the theories of [https://en.wikipedia.org/w/index.php?title=Peano_Arithmetic Peano Arithmetic] (BB(372)) and ZFC+"There exist arbitrarily large [[wikipedia:Subtle_cardinal\|subtle cardinals]]" (BB(493)) (see [[Logical independence]])

	Discord user prurq announced a new simulation method, "Cascade", which works especially well, see [https://discord.com/channels/960643023006490684/1471178503235043493/1471178503235043493 Discord thread].		* @LegionMammal978 created two new nonhalting machines, whose halting status is independent of the theories of [https://en.wikipedia.org/w/index.php?title=Peano_Arithmetic Peano Arithmetic] (BB(372)) and ZFC+"There exist arbitrarily large [[wikipedia:Subtle_cardinal\|subtle cardinals]]" (BB(493)) (see [[Logical independence]])
			* Discord user prurq announced a new simulation method, "Cascade", which works especially well, see [https://discord.com/channels/960643023006490684/1471178503235043493/1471178503235043493 Discord thread].
	@mxdys [https://discord.com/channels/960643023006490684/1226543091264126976/1469937272752177298 introduced a new longitudinal acceleration method], which [https://discord.com/channels/960643023006490684/1239205785913790465/1473950417275850804 had very fruitful results].		* @mxdys [https://discord.com/channels/960643023006490684/1226543091264126976/1469937272752177298 introduced a new longitudinal acceleration method], which [https://discord.com/channels/960643023006490684/1239205785913790465/1473950417275850804 had very fruitful results].

	== Talks ==		== Talks ==

RobinCodes: Finalizing TMBR

2026-03-06T22:12:47Z

Finalizing TMBR

← Older revision		Revision as of 22:12, 6 March 2026
Line 3:		Line 3:
	''This edition of TMBR is in progress and has not yet been released. Please add any notes you think may be relevant (including in the form a of a TODO with a link to any relevant Discord discussion).''		''This edition of TMBR is in progress and has not yet been released. Please add any notes you think may be relevant (including in the form a of a TODO with a link to any relevant Discord discussion).''

	[[:Category:This Month in Beaver Research\|This Month in Beaver Research]] for February 2026. ~~TODO~~: ~~Write~~ a ~~proper introductory paragraph~~.		[[:Category:This Month in Beaver Research\|This Month in Beaver Research]] for February 2026. This month, we had an amazing reduction in [[BB(6)]] holdouts, as well as a nice reduction in the [[BB(7)]] holdouts. We again had the chance to see a rare occurence: '''two''' [[BB(2,5)]] machines were proven nonhalting this month. A new simulation method was introduced by prurq - see [https://discord.com/channels/960643023006490684/1471178503235043493/1471178503235043493 Discord]. Legion created two new nonhalting machines, whose halting status is independent of the theories of [https://en.wikipedia.org/w/index.php?title=Peano_Arithmetic Peano Arithmetic] (372-state) and ZFC + "There exist arbitrarily large [[wikipedia:Subtle_cardinal\|subtle cardinals]]" (493-state) - See [[Logical independence]]. Moreover, Tristan Stérin announced that the paper "Determination of the fifth Busy Beaver value" was accepted for the 58th ACM [[wikipedia:Symposium_on_Theory_of_Computing\|Symposium on Theory of Computing]] ([https://acm-stoc.org/stoc2026/ STOC 2026]), and there would be a talk at the event in [[wikipedia:Salt_Lake_City\|Salt Lake City]] in June 2026.

	== Champions ==		== Champions ==
Line 11:		Line 11:
	@LegionMammal978 created two new nonhalting machines, whose halting status is independent of the theories of [https://en.wikipedia.org/w/index.php?title=Peano_Arithmetic Peano Arithmetic] (BB(372)) and ZFC+"There exist arbitrarily large [[wikipedia:Subtle_cardinal\|subtle cardinals]]" (BB(493)) (see [[Logical independence]])		@LegionMammal978 created two new nonhalting machines, whose halting status is independent of the theories of [https://en.wikipedia.org/w/index.php?title=Peano_Arithmetic Peano Arithmetic] (BB(372)) and ZFC+"There exist arbitrarily large [[wikipedia:Subtle_cardinal\|subtle cardinals]]" (BB(493)) (see [[Logical independence]])

	~~TODO:~~ prurq new ~~fast~~ simulation method (see [https://discord.com/channels/960643023006490684/1471178503235043493 Discord thread])		Discord user prurq announced a new simulation method, "Cascade", which works especially well, see [https://discord.com/channels/960643023006490684/1471178503235043493/1471178503235043493 Discord thread].

	~~TODO: "Cascade" (see~~ [https://discord.com/channels/960643023006490684/~~1471178503235043493~~/~~1471178503235043493 Discord thread] )~~		@mxdys [https://discord.com/channels/960643023006490684/1226543091264126976/1469937272752177298 introduced a new longitudinal acceleration method], which [https://discord.com/channels/960643023006490684/1239205785913790465/1473950417275850804 had very fruitful results].

	~~TODO:~~ new longitudinal acceleration method, ~~see~~ [https://discord.com/channels/960643023006490684/~~1226543091264126976~~/~~1469937272752177298 Discord~~]

	== Talks ==		== Talks ==

← Older revision		Revision as of 21:07, 11 April 2026
Line 10:		Line 10:
	== Misc ==		== Misc ==

	* @LegionMammal978 created two new Turing machines, whose halting status is independent of the theories of [https://en.wikipedia.org/w/index.php?title=Peano_Arithmetic Peano Arithmetic] (BB(372))[https://discord.com/channels/960643023006490684/1466652214247559198/1471186212743155856 ~~<sup>~~<nowiki>[1]</nowiki></sup>] and ZFC+"There exist arbitrarily large [[wikipedia:Subtle_cardinal\|subtle cardinals]]" (BB(493)) [https://discord.com/channels/960643023006490684/1474221209494491198/1476249816488087572 ~~<sup>~~<nowiki>[2]</nowiki></sup>] (see [[Logical independence]] for more context and the machines)		* @LegionMammal978 created two new Turing machines, whose halting status is independent of the theories of [https://en.wikipedia.org/w/index.php?title=Peano_Arithmetic Peano Arithmetic] (BB(372)<sup>[https://discord.com/channels/960643023006490684/1466652214247559198/1471186212743155856 <nowiki>[3]</nowiki>]</sup> and ZFC+"There exist arbitrarily large [[wikipedia:Subtle_cardinal\|subtle cardinals]]" (BB(493))<sup>[https://discord.com/channels/960643023006490684/1474221209494491198/1476249816488087572 <nowiki>[4]</nowiki>]</sup> (see [[Logical independence]] for more context and the machines)
	* Discord user prurq announced a new simulation method, "Cascade," which works especially well, see [https://discord.com/channels/960643023006490684/1471178503235043493/1471178503235043493 Discord thread].		* Discord user prurq announced a new simulation method, "Cascade," which works especially well, see [https://discord.com/channels/960643023006490684/1471178503235043493/1471178503235043493 Discord thread].
	* @mxdys [https://discord.com/channels/960643023006490684/1226543091264126976/1469937272752177298 introduced a new longitudinal acceleration method], which [https://discord.com/channels/960643023006490684/1239205785913790465/1473950417275850804 had very fruitful results].		* @mxdys [https://discord.com/channels/960643023006490684/1226543091264126976/1469937272752177298 introduced a new longitudinal acceleration method], which [https://discord.com/channels/960643023006490684/1239205785913790465/1473950417275850804 had very fruitful results].
Line 62:		Line 62:
	** Alistaire [https://discord.com/channels/960643023006490684/1239205785913790465/1472246267345113158 simulated 13 machines] for >1e13 steps, 6 of which had already been simulated by prurq, essentially double-verifying them.		** Alistaire [https://discord.com/channels/960643023006490684/1239205785913790465/1472246267345113158 simulated 13 machines] for >1e13 steps, 6 of which had already been simulated by prurq, essentially double-verifying them.
	** Discord user @mammillaria [https://discord.com/channels/960643023006490684/1239205785913790465/1472325414344069271 simulated a TM] for >1e13 steps, which also turned out to have been simulated by prurq already.		** Discord user @mammillaria [https://discord.com/channels/960643023006490684/1239205785913790465/1472325414344069271 simulated a TM] for >1e13 steps, which also turned out to have been simulated by prurq already.
	** For all machines simulated by prurq, see: [https://docs.google.com/spreadsheets/d/1zMhtW_edMxrfUry-hVMFsDg3T1p_udjC2V2RKu6oSKE/edit?gid=0#gid=0 Spreadsheet]. For all simulated by Alistaire (most machines), see: <sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1472246267345113158 <nowiki>[3]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1472376779825090713 <nowiki>[4]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1472749954715095181 <nowiki>[5]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1473010093284130847 <nowiki>[6]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1473035474745692351 <nowiki>[7]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1473442168927686677 <nowiki>[8]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1473785617208053900 <nowiki>[9]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1474120868761174040 <nowiki>[10]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1474178147036434609 <nowiki>[11]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1474508316335144993 <nowiki>[12]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1474685965409976561 <nowiki>[13]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1474903012446306354 <nowiki>[14]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1475203181867958375 <nowiki>[15]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1475272630478049371 <nowiki>[16]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1475564139438014554 <nowiki>[17]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1475778581287403551 <nowiki>[18]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1475922318915272734 <nowiki>[19]</nowiki>]</sup>. '''All machines but 3'''<sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1474508720330375460 <nowiki>[20]</nowiki>]</sup> '''were ran to 1e13.'''		** For all machines simulated by prurq, see: [https://docs.google.com/spreadsheets/d/1zMhtW_edMxrfUry-hVMFsDg3T1p_udjC2V2RKu6oSKE/edit?gid=0#gid=0 Spreadsheet]. For all simulated by Alistaire (most machines), see: <sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1472246267345113158 <nowiki>[1]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1472376779825090713 <nowiki>[2]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1472749954715095181 <nowiki>[3]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1473010093284130847 <nowiki>[4]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1473035474745692351 <nowiki>[5]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1473442168927686677 <nowiki>[6]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1473785617208053900 <nowiki>[7]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1474120868761174040 <nowiki>[8]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1474178147036434609 <nowiki>[9]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1474508316335144993 <nowiki>[10]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1474685965409976561 <nowiki>[11]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1474903012446306354 <nowiki>[12]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1475203181867958375 <nowiki>[13]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1475272630478049371 <nowiki>[14]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1475564139438014554 <nowiki>[15]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1475778581287403551 <nowiki>[16]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1475922318915272734 <nowiki>[17]</nowiki>]</sup>. '''All machines but 3'''<sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1474508720330375460 <nowiki>[3 machines]</nowiki>]</sup> '''were ran to 1e13.'''
	** Though announced on March 1st, prurq '''simulated the remaining machines to 1e13'''.<sup>[https://discord.com/channels/960643023006490684/1477591686514212894/1477716122617905305 <nowiki>[21]</nowiki>]</sup>		** Though announced on March 1st, prurq '''simulated the remaining machines to 1e13'''.<sup>[https://discord.com/channels/960643023006490684/1477591686514212894/1477716122617905305 <nowiki>[5]</nowiki>]</sup>
	** mxdys [https://discord.com/channels/960643023006490684/1239205785913790465/1473950417275850804 released] a [[holdouts list]] of '''1226''' machines up to equivalence, some of which were decided via a [https://discord.com/channels/960643023006490684/1226543091264126976/1469937272752177298 new mxdys method for longitudinal acceleration].		** mxdys [https://discord.com/channels/960643023006490684/1239205785913790465/1473950417275850804 released] a [[holdouts list]] of '''1226''' machines up to equivalence, some of which were decided via a [https://discord.com/channels/960643023006490684/1226543091264126976/1469937272752177298 new mxdys method for longitudinal acceleration].
	** Andrew Ducharme found 9 non-halting machines in that list using the mxdys C++ FAR decider.<sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1474302212284092436 <nowiki>[22]</nowiki>]</sup><sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1475911180965904577 <nowiki>[23]</nowiki>]</sup><sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1477040884728987820 <nowiki>[24]</nowiki>]</sup>		** Andrew Ducharme found 9 non-halting machines in that list using the mxdys C++ FAR decider.<sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1474302212284092436 <nowiki>[6]</nowiki>]</sup><sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1475911180965904577 <nowiki>[7]</nowiki>]</sup><sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1477040884728987820 <nowiki>[8]</nowiki>]</sup>
	** mxdys [https://discord.com/channels/960643023006490684/1239205785913790465/1477224991136419983 released] another holdouts list of '''1214''' machines up to equivalence.		** mxdys [https://discord.com/channels/960643023006490684/1239205785913790465/1477224991136419983 released] another holdouts list of '''1214''' machines up to equivalence.
	** At the end of the month, the formal and Rocq-verified holdout counts are 1214, the informal holdout count is '''1212'''.		** At the end of the month, the formal and Rocq-verified holdout counts are 1214, the informal holdout count is '''1212'''.
	*[[BB(7)]]:		*[[BB(7)]]:
	**Andrew Ducharme has reduced the number of holdouts from 19,303,801 to 18,254,545 (a 5.44% reduction) and then '''18,195,192''' (0.33%) using the mxdys C++ FAR decider.		**Andrew Ducharme has reduced the number of holdouts from 19,303,801 to 18,254,545 (a 5.44% reduction) and then to '''18,195,192''' (0.33%) using the mxdys C++ FAR decider.
	*[[BB(2,6)]]:		*[[BB(2,6)]]:
	**Andrew Ducharme continued reducing the number of holdouts, from 558,039 to '''551,586''' (a 1.16% reduction) using the mxdys C++ FAR decider.		**Andrew Ducharme continued reducing the number of holdouts, from 558,039 to '''551,586''' (a 1.16% reduction) using the mxdys C++ FAR decider.
	**Another 0.47% reduction by Andrew Ducharme left '''548,993''' holdouts.<sup>[https://discord.com/channels/960643023006490684/1084047886494470185/1475216024734269644 <nowiki>[25]</nowiki>]</sup>		**Another 0.47% reduction by Andrew Ducharme left '''548,993''' holdouts.<sup>[https://discord.com/channels/960643023006490684/1084047886494470185/1475216024734269644 <nowiki>[9]</nowiki>]</sup>

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

← Older revision		Revision as of 16:32, 31 March 2026
Line 62:		Line 62:
	** Alistaire [https://discord.com/channels/960643023006490684/1239205785913790465/1472246267345113158 simulated 13 machines] for >1e13 steps, 6 of which had already been simulated by prurq, essentially double-verifying them.		** Alistaire [https://discord.com/channels/960643023006490684/1239205785913790465/1472246267345113158 simulated 13 machines] for >1e13 steps, 6 of which had already been simulated by prurq, essentially double-verifying them.
	** Discord user @mammillaria [https://discord.com/channels/960643023006490684/1239205785913790465/1472325414344069271 simulated a TM] for >1e13 steps, which also turned out to have been simulated by prurq already.		** Discord user @mammillaria [https://discord.com/channels/960643023006490684/1239205785913790465/1472325414344069271 simulated a TM] for >1e13 steps, which also turned out to have been simulated by prurq already.
	** For all machines simulated by prurq, see: [https://docs.google.com/spreadsheets/d/1zMhtW_edMxrfUry-hVMFsDg3T1p_udjC2V2RKu6oSKE/edit?gid=0#gid=0 Spreadsheet]. For all simulated by Alistaire (most machines), see: [https://discord.com/channels/960643023006490684/1239205785913790465/1472246267345113158 <nowiki>[1]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1472376779825090713 <nowiki>[2]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1472749954715095181 <nowiki>[3]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1473010093284130847 <nowiki>[4]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1473035474745692351 <nowiki>[5]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1473442168927686677 <nowiki>[6]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1473785617208053900 <nowiki>[7]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1474120868761174040 <nowiki>[8]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1474178147036434609 <nowiki>[9]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1474508316335144993 <nowiki>[10]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1474685965409976561 <nowiki>[11]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1474903012446306354 <nowiki>[12]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1475203181867958375 <nowiki>[13]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1475272630478049371 <nowiki>[14]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1475564139438014554 <nowiki>[15]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1475778581287403551 <nowiki>[16]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1475922318915272734 <nowiki>[17]</nowiki>]. '''All machines but 3 ([https://discord.com/channels/960643023006490684/1239205785913790465/1474508720330375460 <nowiki>[18]</nowiki>]) were ran to 1e13.'''		** For all machines simulated by prurq, see: [https://docs.google.com/spreadsheets/d/1zMhtW_edMxrfUry-hVMFsDg3T1p_udjC2V2RKu6oSKE/edit?gid=0#gid=0 Spreadsheet]. For all simulated by Alistaire (most machines), see: <sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1472246267345113158 <nowiki>[3]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1472376779825090713 <nowiki>[4]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1472749954715095181 <nowiki>[5]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1473010093284130847 <nowiki>[6]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1473035474745692351 <nowiki>[7]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1473442168927686677 <nowiki>[8]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1473785617208053900 <nowiki>[9]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1474120868761174040 <nowiki>[10]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1474178147036434609 <nowiki>[11]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1474508316335144993 <nowiki>[12]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1474685965409976561 <nowiki>[13]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1474903012446306354 <nowiki>[14]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1475203181867958375 <nowiki>[15]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1475272630478049371 <nowiki>[16]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1475564139438014554 <nowiki>[17]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1475778581287403551 <nowiki>[18]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1475922318915272734 <nowiki>[19]</nowiki>]</sup>. '''All machines but 3'''<sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1474508720330375460 <nowiki>[20]</nowiki>]</sup> '''were ran to 1e13.'''
	** Though announced on March 1st, prurq '''simulated the remaining machines to 1e13'''.[https://discord.com/channels/960643023006490684/1477591686514212894/1477716122617905305 <nowiki>[19]</nowiki>]		** Though announced on March 1st, prurq '''simulated the remaining machines to 1e13'''.<sup>[https://discord.com/channels/960643023006490684/1477591686514212894/1477716122617905305 <nowiki>[21]</nowiki>]</sup>
	** mxdys [https://discord.com/channels/960643023006490684/1239205785913790465/1473950417275850804 released] a [[holdouts list]] of '''1226''' machines up to equivalence, some of which were decided via a [https://discord.com/channels/960643023006490684/1226543091264126976/1469937272752177298 new mxdys method for longitudinal acceleration].		** mxdys [https://discord.com/channels/960643023006490684/1239205785913790465/1473950417275850804 released] a [[holdouts list]] of '''1226''' machines up to equivalence, some of which were decided via a [https://discord.com/channels/960643023006490684/1226543091264126976/1469937272752177298 new mxdys method for longitudinal acceleration].
	** Andrew Ducharme found 9 non-halting machines in that list using the mxdys C++ FAR decider.[https://discord.com/channels/960643023006490684/1239205785913790465/1474302212284092436 <nowiki>[20]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1475911180965904577 <nowiki>[21]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1477040884728987820 <nowiki>[22]</nowiki>]		** Andrew Ducharme found 9 non-halting machines in that list using the mxdys C++ FAR decider.<sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1474302212284092436 <nowiki>[22]</nowiki>]</sup><sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1475911180965904577 <nowiki>[23]</nowiki>]</sup><sup>[https://discord.com/channels/960643023006490684/1239205785913790465/1477040884728987820 <nowiki>[24]</nowiki>]</sup>
	** mxdys [https://discord.com/channels/960643023006490684/1239205785913790465/1477224991136419983 released] another holdouts list of '''1214''' machines up to equivalence.		** mxdys [https://discord.com/channels/960643023006490684/1239205785913790465/1477224991136419983 released] another holdouts list of '''1214''' machines up to equivalence.
	** At the end of the month, the formal and Rocq-verified holdout counts are 1214, the informal holdout count is '''1212'''.		** At the end of the month, the formal and Rocq-verified holdout counts are 1214, the informal holdout count is '''1212'''.
Line 72:		Line 72:
	*[[BB(2,6)]]:		*[[BB(2,6)]]:
	**Andrew Ducharme continued reducing the number of holdouts, from 558,039 to '''551,586''' (a 1.16% reduction) using the mxdys C++ FAR decider.		**Andrew Ducharme continued reducing the number of holdouts, from 558,039 to '''551,586''' (a 1.16% reduction) using the mxdys C++ FAR decider.
	**Another 0.47% reduction by Andrew Ducharme left '''548,993''' holdouts.[https://discord.com/channels/960643023006490684/1084047886494470185/1475216024734269644 <nowiki>[23]</nowiki>]		**Another 0.47% reduction by Andrew Ducharme left '''548,993''' holdouts.<sup>[https://discord.com/channels/960643023006490684/1084047886494470185/1475216024734269644 <nowiki>[25]</nowiki>]</sup>

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

← Older revision		Revision as of 20:04, 30 March 2026
Line 11:		Line 11:

	* @LegionMammal978 created two new nonhalting machines, whose halting status is independent of the theories of [https://en.wikipedia.org/w/index.php?title=Peano_Arithmetic Peano Arithmetic] (BB(372)) and ZFC+"There exist arbitrarily large [[wikipedia:Subtle_cardinal\|subtle cardinals]]" (BB(493)) (see [[Logical independence]])		* @LegionMammal978 created two new nonhalting machines, whose halting status is independent of the theories of [https://en.wikipedia.org/w/index.php?title=Peano_Arithmetic Peano Arithmetic] (BB(372)) and ZFC+"There exist arbitrarily large [[wikipedia:Subtle_cardinal\|subtle cardinals]]" (BB(493)) (see [[Logical independence]])
	* Discord user prurq announced a new simulation method, "Cascade", which works especially well, see [https://discord.com/channels/960643023006490684/1471178503235043493/1471178503235043493 Discord thread].		* Discord user prurq announced a new simulation method, "Cascade," which works especially well, see [https://discord.com/channels/960643023006490684/1471178503235043493/1471178503235043493 Discord thread].
	* @mxdys [https://discord.com/channels/960643023006490684/1226543091264126976/1469937272752177298 introduced a new longitudinal acceleration method], which [https://discord.com/channels/960643023006490684/1239205785913790465/1473950417275850804 had very fruitful results].		* @mxdys [https://discord.com/channels/960643023006490684/1226543091264126976/1469937272752177298 introduced a new longitudinal acceleration method], which [https://discord.com/channels/960643023006490684/1239205785913790465/1473950417275850804 had very fruitful results].

Line 53:		Line 53:
	**Andrew Ducharme found a machine nonhalting on [https://discord.com/channels/960643023006490684/1259770421046411285/1471227102844944510 11 Feb] via the mxdys C++ FAR decider. This was verified in Rocq by mxdys [https://discord.com/channels/960643023006490684/1259770421046411285/1471228798505582602 the same day].		**Andrew Ducharme found a machine nonhalting on [https://discord.com/channels/960643023006490684/1259770421046411285/1471227102844944510 11 Feb] via the mxdys C++ FAR decider. This was verified in Rocq by mxdys [https://discord.com/channels/960643023006490684/1259770421046411285/1471228798505582602 the same day].
	**mxdys [https://discord.com/channels/960643023006490684/1259770421046411285/1471229409829847111 announced another TM proven the same day], which turned out to be a translated cycler.		**mxdys [https://discord.com/channels/960643023006490684/1259770421046411285/1471229409829847111 announced another TM proven the same day], which turned out to be a translated cycler.
	**Peacemaker II [https://discord.com/channels/960643023006490684/1259770421046411285/1472647706835943596 ~~found~~ the high-level behaviour of a ~~machine~~]~~, which turned out to~~ be a relatively simple-to-describe string rewriting problem ~~of sorts~~.		**Peacemaker II [https://discord.com/channels/960643023006490684/1259770421046411285/1472647706835943596 determined the high-level behaviour of a holdout] could be transformed into a relatively simple-to-describe string rewriting problem.
	*[[BB(6)]]: '''All''' '''machines simulated to 1e13''', '''100''' solved machines.		*[[BB(6)]]: '''All''' '''machines simulated to 1e13''', '''100''' solved machines.
	** prurq [https://discord.com/channels/960643023006490684/1239205785913790465/1471831607793946699 found a halting machine] with step count 30,505,241,149,212.		** prurq [https://discord.com/channels/960643023006490684/1239205785913790465/1471831607793946699 found a halting machine] with step count 30,505,241,149,212.
	** mxdys [https://discord.com/channels/960643023006490684/1239205785913790465/1471837208615981179 followed up with 2 more halting machines the same day]. All 3 were verified in c++.		** mxdys [https://discord.com/channels/960643023006490684/1239205785913790465/1471837208615981179 followed up with 2 more halting machines the same day]. All 3 were verified in C++.
	** Andrew Ducharme [https://discord.com/channels/960643023006490684/1239205785913790465/1472051232746115173 found 7 non-halting machines] using the mxdys C++ FAR decider.		** Andrew Ducharme [https://discord.com/channels/960643023006490684/1239205785913790465/1472051232746115173 found 7 non-halting machines] using the mxdys C++ FAR decider.
	** Alistaire [https://discord.com/channels/960643023006490684/1239205785913790465/1472376779825090713 found a machine nonhalting] using Quick_Sim.py.		** Alistaire [https://discord.com/channels/960643023006490684/1239205785913790465/1472376779825090713 found a machine nonhalting] using Quick_Sim.py.
	** prurq simulated 38 machines for >1e13 steps<sup>[https://discord.com/channels/960643023006490684/1471178503235043493/1471486886890704967 <nowiki>[19 machines]</nowiki>][https://docs.google.com/spreadsheets/d/1zMhtW_edMxrfUry-hVMFsDg3T1p_udjC2V2RKu6oSKE/edit?usp=sharing <nowiki>[19 more machines]</nowiki>]</sup> with his new method [https://discord.com/channels/960643023006490684/1471178503235043493/1471178503235043493 "Cascade".]		** prurq simulated 38 machines for >1e13 steps<sup>[https://discord.com/channels/960643023006490684/1471178503235043493/1471486886890704967 <nowiki>[19 machines]</nowiki>][https://docs.google.com/spreadsheets/d/1zMhtW_edMxrfUry-hVMFsDg3T1p_udjC2V2RKu6oSKE/edit?usp=sharing <nowiki>[19 more machines]</nowiki>]</sup> with his new method [https://discord.com/channels/960643023006490684/1471178503235043493/1471178503235043493 "Cascade."]
	** Alistaire [https://discord.com/channels/960643023006490684/1239205785913790465/1472246267345113158 simulated 13 machines] for >1e13 steps, 6 of which had already been simulated by prurq, ~~essentialy~~ double-verifying them.		** Alistaire [https://discord.com/channels/960643023006490684/1239205785913790465/1472246267345113158 simulated 13 machines] for >1e13 steps, 6 of which had already been simulated by prurq, essentially double-verifying them.
	** Discord user @mammillaria [https://discord.com/channels/960643023006490684/1239205785913790465/1472325414344069271 simulated a TM] for >1e13 steps, which also turned out to have been simulated by prurq already.		** Discord user @mammillaria [https://discord.com/channels/960643023006490684/1239205785913790465/1472325414344069271 simulated a TM] for >1e13 steps, which also turned out to have been simulated by prurq already.
	** For all machines simulated by prurq, see: [https://docs.google.com/spreadsheets/d/1zMhtW_edMxrfUry-hVMFsDg3T1p_udjC2V2RKu6oSKE/edit?gid=0#gid=0 Spreadsheet]~~, for~~ all simulated by Alistaire (most machines), see: [https://discord.com/channels/960643023006490684/1239205785913790465/1472246267345113158 <nowiki>[1]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1472376779825090713 <nowiki>[2]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1472749954715095181 <nowiki>[3]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1473010093284130847 <nowiki>[4]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1473035474745692351 <nowiki>[5]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1473442168927686677 <nowiki>[6]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1473785617208053900 <nowiki>[7]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1474120868761174040 <nowiki>[8]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1474178147036434609 <nowiki>[9]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1474508316335144993 <nowiki>[10]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1474685965409976561 <nowiki>[11]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1474903012446306354 <nowiki>[12]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1475203181867958375 <nowiki>[13]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1475272630478049371 <nowiki>[14]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1475564139438014554 <nowiki>[15]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1475778581287403551 <nowiki>[16]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1475922318915272734 <nowiki>[17]</nowiki>]. '''All machines but 3: [https://discord.com/channels/960643023006490684/1239205785913790465/1474508720330375460 <nowiki>[18]</nowiki>] were ran to 1e13.'''		** For all machines simulated by prurq, see: [https://docs.google.com/spreadsheets/d/1zMhtW_edMxrfUry-hVMFsDg3T1p_udjC2V2RKu6oSKE/edit?gid=0#gid=0 Spreadsheet]. For all simulated by Alistaire (most machines), see: [https://discord.com/channels/960643023006490684/1239205785913790465/1472246267345113158 <nowiki>[1]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1472376779825090713 <nowiki>[2]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1472749954715095181 <nowiki>[3]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1473010093284130847 <nowiki>[4]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1473035474745692351 <nowiki>[5]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1473442168927686677 <nowiki>[6]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1473785617208053900 <nowiki>[7]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1474120868761174040 <nowiki>[8]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1474178147036434609 <nowiki>[9]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1474508316335144993 <nowiki>[10]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1474685965409976561 <nowiki>[11]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1474903012446306354 <nowiki>[12]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1475203181867958375 <nowiki>[13]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1475272630478049371 <nowiki>[14]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1475564139438014554 <nowiki>[15]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1475778581287403551 <nowiki>[16]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1475922318915272734 <nowiki>[17]</nowiki>]. '''All machines but 3 ([https://discord.com/channels/960643023006490684/1239205785913790465/1474508720330375460 <nowiki>[18]</nowiki>]) were ran to 1e13.'''
	** Though on March 1st, ~~most of the work was probably done in February:~~ prurq '''simulated the remaining machines to 1e13'''.[https://discord.com/channels/960643023006490684/1477591686514212894/1477716122617905305 <nowiki>[19]</nowiki>]		** Though announced on March 1st, prurq '''simulated the remaining machines to 1e13'''.[https://discord.com/channels/960643023006490684/1477591686514212894/1477716122617905305 <nowiki>[19]</nowiki>]
	** mxdys [https://discord.com/channels/960643023006490684/1239205785913790465/1473950417275850804 released] a [[holdouts list]] of '''1226''' machines up to equivalence, some of which were decided via [https://discord.com/channels/960643023006490684/1226543091264126976/1469937272752177298 new mxdys method for longitudinal acceleration].		** mxdys [https://discord.com/channels/960643023006490684/1239205785913790465/1473950417275850804 released] a [[holdouts list]] of '''1226''' machines up to equivalence, some of which were decided via a [https://discord.com/channels/960643023006490684/1226543091264126976/1469937272752177298 new mxdys method for longitudinal acceleration].
	** Andrew Ducharme found 9 non-halting machines in that list using the mxdys C++ FAR decider.[https://discord.com/channels/960643023006490684/1239205785913790465/1474302212284092436 <nowiki>[20]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1475911180965904577 <nowiki>[21]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1477040884728987820 <nowiki>[22]</nowiki>]		** Andrew Ducharme found 9 non-halting machines in that list using the mxdys C++ FAR decider.[https://discord.com/channels/960643023006490684/1239205785913790465/1474302212284092436 <nowiki>[20]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1475911180965904577 <nowiki>[21]</nowiki>][https://discord.com/channels/960643023006490684/1239205785913790465/1477040884728987820 <nowiki>[22]</nowiki>]
	** mxdys [https://discord.com/channels/960643023006490684/1239205785913790465/1477224991136419983 released] another holdouts list of '''1214''' machines up to equivalence.		** mxdys [https://discord.com/channels/960643023006490684/1239205785913790465/1477224991136419983 released] another holdouts list of '''1214''' machines up to equivalence.