Get the latest Science News and Discoveries
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
None
Or read this on New Scientist