It is mentioned in this answer Is there a program to solve The Yang–Mills Existence and Mass Gap problem similar to the Hamilton's program to solve Poincaré Conjecture? that it is an open problem to construct pure Yang-Mills theory in spacetime dimension $d=4$ on an infinite lattice. That made me wonder if there is any model of Euclidean QFT constructed on an infinite lattice for $d>3$.
To be more concrete, my question is: is there a construction of the $\phi^4$-model on an infinite lattice when $d>3$? If not, why not? In particular, is there a reason to think that such a model would be trivial? (As far as I know the triviality results for $\phi^4$ apply to the continuum limit only.) (Note: here by "construction" I mean non-perturbative mathematically rigorous construction.)