The AI revolution in math has arrived