Mathematicians Team Up with Supercomputer to Crack 248-Dimensional Object

Scientific American: "A monstrous computer-based calculation has rekindled researchers' hopes of solving a longstanding problem in mathematics. In a style of collaboration more commonly associated with sequencing genomes, a team of 18 mathematicians and computer scientists has mapped an extremely complex object known as the E8 group.

The calculation is only a stepping stone, but an important one, researchers say, in a larger project to uncover subtle ways in which different equations or geometric shapes can be seen as facets of the same underlying thing—an insight that has led to some of the century's biggest discoveries in particle physics and may play a role in future theories. The result also highlights the growing trend of using computers to crack tough math problems."

"This is the latest case in which mathematicians have relied on computers to solve thorny problems. In 2005 the Annals of Mathematics published a computer-aided proof of Kepler's conjecture (about the most efficient way to stack spheres) after reviewers spent four years checking the code fed into the computer but finally gave up without completing the task."