Looking for a Multi-GPU Server to Run DeepSeek-Prover-V2-671B (Can Pay)

I’m a PhD researcher working in AI and automated mathematical theorem proving.

I’m looking for access to a multi-GPU server capable of running DeepSeek-Prover-V2-671B.

Suitable configurations include:

• 8× H100 80GB
• 8× H200
• 8× B200
• 16× H100
• DGX/HGX H100
• Or any equivalent multi-GPU cluster with enough VRAM to run the model.

I’m happy to pay for GPU usage.

If you have access to such hardware, or know someone who does, please send me a DM

If everything goes well, I’d also be interested in **long-term collaboration** for future research projects.

Thank you!