A Computer-Assisted Proof Solves the ‘Packing Coloring’ Problem by Kevin Hartnett from on 2023-07-02 12:00 (#6CNBS) There's a surprisingly straightforward answer to how many numbers are needed to fill an infinite grid so that identical numbers never get too close together.