DeepSeek updates open-source model that solves math-related problems-report

DeepSeek has reportedly open-sourced Prover-V2 model, a new specialist artificial intelligence model, as competition heated up within China's AI industry. The announcement comes a day after Alibaba ( BABA ) unveiled Qwen 3, an enhanced AI model featuring hybrid reasoning capabilities. The.