The winners were honoured by chief guest Professor Peter Sarnak, Gopal Prasad Professor of Mathematics at the Institute for Advanced Study, Princeton. The winners received a gold medal ...
Bengaluru: "The state of theorem-proving machines today is comparable to where chess was in the 1950s with the advent of modern computers," said Princeton University mathematician Peter Sarnak ...