DeepSeek quietly updates open-source model that handles maths proofs

The Chinese start-up has released the Prover-V2 model a day after Alibaba released Qwen3, and ahead of an anticipated release of DeepSeek-R2

Reading Time:2 minutes

DeepSeek’s quiet release of its latest open-source model for maths proofs comes amid a flurry of releases from Chinese AI firms. Photo: AFP

Published: 7:12pm, 30 Apr 2025

Chinese start-up DeepSeek quietly open-sourced a new specialist artificial intelligence (AI) model on Wednesday, just a day after Alibaba unveiled the third generation of its Qwen family, as competition heats up in the race to advance generative AI capabilities.

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.