The Leiden Declaration proposes guidelines for AI in math research, asserting that automated tools cannot receive academic credit · Digg