The Mathematician Who Discovered Math's Greatest Mystery.