DeepSeek reported that improvements in the scale, diversity, and verifiability of synthesized data and environments accounted for essentially all post-training gains in their model