Am I wrong to conclude they just got rocked super hard by DeepSeek R1?