“Chinese open-source models, such as DeepSeek, currently have a substantial capability lead over other available open models.”