Yup, seems exactly right. And I think we might be nearly to the stage you're identifying, where there is enough fidelity in the models to discover new things.

Yup, seems exactly right. And I think we might be nearly to the stage you're identifying, where there is enough fidelity in the models to discover new things. I sort of recall reading at least some of that happening in some fields of math?