Once IBM deep blue beat Kasparov in chess, IBM stopped their chess playing research.
The marketing goal, if you will, had been met and IBM would continue their actual money making business of selling mainframes and doing consulting.
The same thing will happen with AI companies’ endeavors into abstract maths.
Maths however will be changed - students can no longer be taught via the same homework - and mathematicians will have to do more computer work and probably work in larger groups of people.
Of all the cope I expected, this wasn't on my list until now. Now that art has been generated, we will stop there, and that code is generated our reason to do any of that (marketing as an end in itself) has been concluded and we will shut down all operations now.