Taking you to the card → Even the AI-friendly mathematicians are mourning something