BB(2, 5) is hard (Hydra)

Related:

BB(3, 3) is Hard - https://news.ycombinator.com/item?id=37910297 - Oct 2023 (132 comments)