I don’t want to run down a rat hole but we have mathematical proof generators fo

I don’t want to run down a rat hole but we have mathematical proof generators for a reason – because there are a limited number of rules and the foundation of all of those rules is quite simple. The same is true for proteins, chemistry, and subatomic and atomic physics. Essentially it’s a game of combinatorial trial and error. But the options in math and physics are quite limited compared to the options in teh real world at scale that involve coordinting resources and people with time and money.
So I’ll disagree with you pretty easily. The most common example is the limitation of mathematics in economics at any scale, and the limitation of mathematics at any small scale. We run into these limits all the time.

Reply addressees: @BrownCanard