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

By translating Ott-Heinrich Keller's conjecture into a computer-friendly search, researchers confirmed a conjecture about seven-dimensional space.