>and, most significantly, there has been a wave of AI-produced solutions provided with no explanation.

Counter productive and dumb, although not dumb from the viewpoint of an AI company trying to win hearts and minds hoping that translates into revenue.

Lots of mathematical problems require WORK, and now we have a homunculus to do the work. Indeed most AI companies are oriented toward brute forcing every way forward in order to claim the prize of being profitable.

This could genuinely serve the purpose of mathematical understanding for humanity, but in the short run it is a series of stunts. In the long run I am optimistic that we will benefit.