gives the densest way to pack spheres in 8 dimensions, with each touching 240 others. This fact was long suspected, but it was only proved in 2016!
The centers of the 240 spheres form the 'E8 root polytope', which looks like this...
