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