“the same thing happened immediately prior to the r1 release, a prover model was released. this is a good sign that the r2 release is imminent as in a few days.”

DEEPSEEK GITHUB: DeepSeek · GitHub

DEEPSEEK PROVER MODEL APRIL 30TH 2025: GitHub - deepseek-ai/DeepSeek-Prover-V2

DEEPSEEK WEBSITE: DeepSeek | 深度求索

ARTICLE 1: DeepSeek quietly updates open-source model that handles maths proofs | South China Morning Post

ARTICLE 2: DeepSeek upgrades its math-focused AI model Prover | TechCrunch

ARTICLE 3: DeepSeek Releases Massive 671B Prover V2 Model For Mathematical Theorem Proving Ahead of R2 Release - WinBuzzer