JFrog stock rises as Cantor Fitzgerald maintains Overweight rating after strong Q2
Investing.com -- In the ongoing race to advance generative artificial intelligence (AI) capabilities, Chinese start-up DeepSeek has quietly open-sourced a new specialist AI model, according to a report from the South China Mourning 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.
This article was generated with the support of AI and reviewed by an editor. For more information see our T&C.