The hope that AI will build original mathematical theories · Digg