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 ...

DeepSeek’s newly upgraded maths-focused artificial intelligence (AI) model has fuelled public anticipation for the Chinese start-up’s upcoming R2 reasoning model, which remains shrouded in ...