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.

from Wired https://ift.tt/3ldLaVg
via Gabe's Musing's