Sources Report, DeepSeek open-sources new AI model

Sources report from the South China Morning Post. The move came just a day after Alibaba (NYSE: BABA) launched the third generation of its Qwen family.

The Hangzhou-based start-up uploaded its latest open-source Prover-V2 model to Hugging Face, the world’s largest open-source AI community. This was done without making any announcements on its official social media channels. The move has increased anticipation for DeepSeek’s upcoming R2 reasoning model.

The Prover series by DeepSeek consists of domain-specific models designed to solve math-related problems. The company has not yet provided any details about the new model on its Hugging Face page. However, files uploaded suggest that it was built on top of DeepSeek’s V3 model, which has 671 billion parameters and adopts a mixture-of-experts architecture for cost-efficient training and operation.

The development of a math-focused model has led to speculation that DeepSeek will soon launch additional models. The company, however, did not respond to a request for comment on this matter.