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 while ...