A claimed AI math breakthrough and the question of research credit · Digg