the twenty-first century's leading mathematicians, working on one of the biggest ideas