The secret project to settle controversial maths proof with a computer
New Scientist
—
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