You can check the proof manually if you need convincing. (Or you can invent ways to check that your computer is computing correctly). I'm inclined to believe c

You can check the proof manually if you need convincing. (Or you can invent ways to check that your computer is computing correctly). I'm inclined to believe computation did happen, because otherwise you get theories like super-determinism, where consistency is really dubious. And the way to make them consistent in a robust way involve playing an adversarial lying game against agents from inside the simulation, which favors greatly the agents inside the simulation and therefore is even more computationally expensive than just doing the computation. But even just taking a picture of a night sky and trying to infer the history, is very consistent with some computations happening according to fixed rules.