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)

Ben Jiang / South China Morning Post: 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  —  The Chinese start-up has released the Prover-V2 model a day after Alibaba released Qwen3, and ahead of an anticipated release of DeepSeek-R2

Apr 30, 2025 - 13:50
 0
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)

Ben Jiang / South China Morning Post:
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  —  The Chinese start-up has released the Prover-V2 model a day after Alibaba released Qwen3, and ahead of an anticipated release of DeepSeek-R2