Ah I see your point, I took the word science to mean bio, physics, chemistry, etc. IMO mathematics is a different discipline and not one Id consider a science, rather I see it as the language with which we express science.
If AI is somehow able to prove everything wouldn't it bypass Godel's incompleteness theorems?
For biosciences and physics, sure. For mathematics? I am skeptical that your assertion applies.