The way we model the world is with mathematical models and the complexity bounds on those mathematical models are actually statements about irreducibility of th

The way we model the world is with mathematical models and the complexity bounds on those mathematical models are actually statements about irreducibility of those problems to simpler ones. In fact, the model is lower bound approximation to the real thing and if the approximation has certain complexity then the real thing will be much worse. That is the whole point of having a model. You approximate reality with something simpler and hope the solution to the simpler model problem is close enough to the solution of the real problem. So what real world problems are you talking about? I'd say much of engineering and science is coming up with these solvable models for real world phenomena and so far no one has cracked the nut on coming up with a simple solution to problems that have complicated models. You might argue AGI is not one of those problems but that's a different argument.