"Deepseek R1" sounds cooler, everybody heard about it.