{title2=28 Jun 2024}

The <Antihydra> is the first hard-looking problem for <BB(6)>, what some would classify as a <Collatz-like problem>.

It is documented on the <Busy Beaver Challenge> wiki at: https://wiki.bbchallenge.org/wiki/Antihydra


Antihydra

{c}

Some dude recreated the <antihydra> on <Magic: The Gathering> at: https://aesort.com/antihydra[], probably: https://x.com/IsaacKing314/status/1870637729375219740[].

It is known that <Magic: The Gathering is Turing complete>, but it is cool to have a concrete specific example of an <open problem in mathematics> coded in it.

\Image[https://web.archive.org/web/20241222020126im_/https://aesort.com/static/img/antihydra.png]
{title=Screenshot of the <Antihydra in Magic: The Gathering> construction}
{height=800}


Antihydra in Magic: The Gathering

{c}

A hard problem ha been found for it, and it was called the "<antihydra>":
* https://news.ycombinator.com/item?id=40864949 BB(6), The 6th Busy Beaver Number, is harder than a Collatz-like math problem 
* https://www.reddit.com/r/math/comments/1dubva0/finding_the_6th_busy_beaver_number_%CF%836_aka_bb6_is/ "Finding the 6th busy beaver number (Σ(6), AKA BB(6)) is at least as hard as a hard Collatz-like math problem called Antihydra":
* https://www.reddit.com/r/compsci/comments/1duc62e/finding_the_6th_busy_beaver_number_%CF%836_aka_bb6_is/


Ciro Santilli @cirosantilli 37

 Incoming links: Antihydra