Uploaded to HuggingFace (https://huggingface.co/deepseek-ai/DeepSeek-Prover-V2-671B) without any fanfare or even announcement by the DeepSeek team, but the GMI Cloud team is hosting it already!