Using a global network of computers, mathematicians have finally solved a decades-old math conundrum — and possibly the meaning of life.