A Fleet of Computers Helps Settle a 90-Year-Old Math Problem
by Kevin Hartnett from Feed: All Latest on (#577P6)
By translating Ott-Heinrich Keller's conjecture into a computer-friendly search, researchers confirmed a conjecture about seven-dimensional space.