Thoughts
Just looking at Antihydra it's pretty obvious to me it never halts. But I guess it's a hard problem.
Like it seems to be following a pretty obvious pattern, but maybe you just can't prove that it's following a pattern?