It's not a computational complexity problem, it's an undefinedness problem. Proving that the lattice simulations converge has been estimated as well beyond this century's mathematics by the pair of people (Glimm and Jaffe) that have done the most to study it. In any case it is beyond today's.
