Andrew Granville knows that artificial intelligence will profoundly change math. The programming language Lean already plays a role in theorem proving. That’s why the University of Montreal number theorist...
Forgot your password?
Lost your password? Please enter your email address. You will receive mail with link to set new password.
Back to login