> One of the big challenges of devising a grand-unifying theory of everything is that, if it doesn't make different predictions than existing theories do in any

> One of the big challenges of devising a grand-unifying theory of everything is that, if it doesn't make different predictions than existing theories do in any context, it's experimentally unverifiable. Yea, but then it isn't a unifying theory it's basically just a giant case statement of "if relativistic motion, use relativistic motion equation". That isn't a unifying theory, that's more like a programming library that does everything. A unifying theory would have to allow one to unify all of the existing equations we have as well as synthesize new ones; not just the ones we already have. It probably doesn't exist. It smacks too much of an NP-hard compression problem, where if we have enough output of the function we can find the minimal representation of it, but applied to everything in the universe.