Good. Congratulations to them!

I expect that an "AI" should be able to give a thorough and transparent explanation to an unseen and unsolved mathematical problem with a vigorous proof.

But alas after years of AI hype, nothing of the sort has come out of that (yet). Instead we get hallucinating chatbots fuelling the hype.

What a shame for the AI hype squad.