In that case isn't it actually more valuable to have an AI do this? It works faster and solves more math.

The random engineer looking at a funny problem 10 years later now has the literal author of the math to talk to about it and implement it.

I have never even spoken to a world class mathematician and now I can have them design with me?

How is this not better in almost everyway?