Coping with unease about AI-powered mathematics · Digg