A PhD researcher specializing in AI and automated mathematical theorem proving is seeking access to a multi-GPU server capable of running the DeepSeek-Prover-V2-671B model.
The researcher has specified several suitable hardware configurations, including 8x H100 80GB, 8x H200, 8x B200, 16x H100, or DGX/HGX H100 systems. They are willing to pay for GPU usage and have indicated interest in long-term collaboration for future research projects if the arrangement is successful.
The post serves as a direct request for hardware access from individuals or entities with compatible multi-GPU clusters.