Comment by boccaff

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.