I don´t think so. For programming agents can run code, check compiler output, etc. For mathematics, it is almost the same once you factor in the usage of lean.
For the reality, you can´t close the loop that fast, or with that precision. You will have to slow down by several orders of magnitude.
Doesn’t have to. There are petabytes of experimental physics data that can be fed to AI to extract additional insights. The only holdup is this is slightly harder to than math. With bio, you’re right, generally designing and conducting an experiment goes hand in hand and theoretical biologist is not a common label.
>There are petabytes of experimental physics data..
There is one thing you are missing. Math is precise. Physical measurements are arbitrary imprecise...