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
Source link
Get latast news super fast
