DeepSeek quietly updates open-source model that handles maths proofs

INSUBCONTINENT EXCLUSIVE:

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.