A forecast for superhuman mathematician AI · Digg