A Fleet of Computers Helps Settle a 90-Year-Old Math Problem

As a general rule, to prove Keller’s conjecture in dimension n, you use dice with n dots and try to find a clique of size 2n. You can think of this clique as representing a…