DeepSeek’s Prover maths-solving model fuels speculation about next-gen R2 progress
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...