AI may soon be the default way to solve theoretical problems in some fields · Digg