DeepSeek publishes the math behind training 380,000 AI agents at once — type0 | type0