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.

source https://www.wired.com/story/a-fleet-of-computers-helps-settle-a-90-year-old-math-problem