Ben Jiang / South China Morning Post:

DeepSeek quietly open sources Prover-V2, a math-focused, 671B-parameter AI 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

Ben Jiang / South China Morning Post:

DeepSeek quietly open sources Prover-V2, a math-focused, 671B-parameter AI 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

Source: TechMeme
Source Link: http://www.techmeme.com/250430/p19#a250430p19