A Computer-Assisted Proof Solves the ‘Packing Coloring’ Problem The researchers didn’t actually fill an infinite grid. They didn’t have to. Instead, it’s enough to take...