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?