BB(6) is hard by Ciro Santilli 37 Created 2024-07-04 Updated 2025-07-16
A hard problem ha been found for it, and it was called the "antihydra":

New to topics? Read the docs here!