Hard hexagons, hard squares and hard mathematics