Oh, it's going to move up the old ladder, from bottom to top:
reply> https://en.wikipedia.org/wiki/Hierarchy_of_the_sciences
First math and CS, where formal logic dominate, and AI can check/verify its own answers very quickly. Then physics, downstream of math. Then materials science, which in some cases is practically a branch of physics. Then chemistry more generally. Then biology. Then various social sciences.
A big difference is that in mathematics, you can do all your experimentation purely in theory and at arbitrary speed, while for example chemistry needs a lab and plenty of time.
replyMath is really super suitable for quick iterations by a machine.
What makes you believe that it will be such a progression?
reply