The secret project to settle controversial maths proof with a computer

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