Since only humans come up with theories, by construction the theories are within the intellectual grasp of at least some humans, albeit humans who are usually smarter and better educated than average. Once genius machines start coming up with new theories, that constraint will be removed and someday intelligibility will seem like a legacy from a very distant past.
