Working in secret for more than two years, a group of mathematicians has set out to resolve of the longest and most bitter battles in modern mathematics