Read news on computer proof with our app.
Read more in the app
Mathematicians plan computer proof of Fermat's last theorem
