Un chercheur en doctorat spécialisé dans l'IA et la preuve automatique de théorèmes mathématiques cherche à accéder à un serveur multi-GPU capable d'exécuter le modèle DeepSeek-Prover-V2-671B.
Le chercheur a spécifié plusieurs configurations matérielles adaptées, notamment 8x H100 80GB, 8x H200, 8x B200, 16x H100 ou des systèmes DGX/HGX H100. Il est disposé à payer l'utilisation du GPU et a indiqué son intérêt pour une collaboration à long terme sur des projets de recherche futurs si l'accord se révèle fructueux.
La publication sert de demande directe d'accès au matériel auprès de particuliers ou d'entités disposant de clusters multi-GPU compatibles.