In joint work with my great advisor Marijn Heule, we improved the lower bound on the chromatic number of the infinite square lattice to 14. I will be posting an arxiv version soon!