Why are Deepseek and Kimi are beating other models by so much margin? Is this to do with their specialization for this task?