> “Physicists are much less concerned than mathematicians about rigorous proofs,” says Timothy Gowers, a mathematician at the Collège de France and a Fields Medal winner. Sometimes, he says, that “allows physicists to explore mathematical terrain more quickly than mathematicians.”
GP is right that the currently observed physical laws go far beyond our ability to observe them in reality because of the cost of observations. International effort over decades is required to create facilities capable of making helpful new observations: think of LHC, LIGO, James Webb, etc.
On the other hand, once the facilities are built and ground-breaking observations appear, we suddenly have a debt of theoretical and simulated exploration to understand all their implications. The low cost of computation greatly extends the value we can take from every truly new observation of reality.
In order to observe something new, we must be able differentiate it from something already understood. It seems like the physics and math communities are currently in a season of increasing our understanding of the existing models well enough to motivate trying to break them.