> There's a new generation of younger, hungry mathematicians that are highly interested in figuring out why the result is true
The problem is that right now mathematicians don't have the economical incentive to read these AI generated results. Even if you love mathematics and all that, it's always more important to get a job, and for that it doesn't seem like a good idea to invest time around problems that AI touches because you can't compete with it and you don't know if tomorrow they'll improve by x10 the sota.
I am a mathematician, and I do have the incentive to read the results. Two results in the drop were two major life goals of mine, and all I got was three lousy citations. :) But a third question I've spent a lot of time on is a not-so-hard consequence of one of the lemmas in there. So, yeah, I do have the incentive.
Of course, it's not clear at this point whether reporting such a result even matters, but still. In its own right, it's a very cool result.