Academia must rethink verification work for AI-generated math, a post argues · Digg