Hangzhou-based DeepSeek uploaded its latest open-source Prover-V2 model to Hugging Face, the world’s largest open-source AI community, without making any announcements on its official social media channels. This comes amid growing anticipation for its new R2 reasoning model, which is expected to launch soon.
DeepSeek’s Prover series consists of domain-specific models designed to solve math-related problems.
The company has yet to provide any details about the model on its Hugging Face page. Uploaded files viewed by the Post 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 that could enhance a general-purpose foundational model’s mathematical skills has fueled speculation that DeepSeek will soon launch additional models.
DeepSeek did not immediately respond to a request for comment on Wednesday.