“Before DeepSeek's model was released, its CEO publicly stated that US export controls on chips were "killing" their ability to pursue AGI.”