> People need to actually go out there and do experiments. Science is not only theory, but also experimental.

For biosciences and physics, sure. For mathematics? I am skeptical that your assertion applies.

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?