一位专注于人工智能和自动数学定理证明的博士生研究员正在寻求访问能够运行DeepSeek-Prover-V2-671B模型的多GPU服务器。

该研究员指定了多种合适的硬件配置，包括8x H100 80GB、8x H200、8x B200、16x H100或DGX/HGX H100系统。他愿意为GPU使用付费，并表示如果合作成功，有兴趣在未来研究项目中进行长期合作。

该帖子作为向拥有兼容多GPU集群的个人或实体直接请求硬件访问权限的声明。