DeepSeek quietly open-sources Prover-V2 AI, a math-focused, 671B-parameter model using mixture-of-experts, on Hugging Face, one day after Alibaba released Qwen3 (Ben Jiang/South China Morning Post) April 30, 2025 by appcompact