This mean theoretical mathematicians have nothing better to do. There is no practical application for any of this, except to build into other proofs that may have some theoretical application. Its the same as the Busy Beaver and Ackerman sequences - sort of. I’m not an egg head, but know some of this stuff. Just pretend you never heard of this story, and the world will continue to move as it always has.
HELLO! Previously useless theoretical mathematics is always getting dusted off and being applied to new applications. University mathematics degrees are frequently titled and earned in ‘theoretical and applied mathematics’— b.s. m.s. phd.