Proving the “discrete” periodic tiling conjecture for high-dimensional lattices is a slightly different problem than proving the continuous version of the conjecture, as there are tilings that are ...