By now, almost everyone has heard about DeepSeek, the Chinese-made AI that has taught the US a thing or two about building cheaper artificial intelligence.