DeepSeek: New model DeepSeek Prover V2 671B now available on GMI Cloud

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!