Goedel-Prover-V2-32B
Desarrollado por Goedel-LM, Goedel-Prover-V2-32B es un modelo de 32 mil millones de parámetros chat. Goedel-Prover-V2-32B is an open-weights chat model with roughly 32 billion parameters.
by Goedel-LM · 32 mil millones de parámetros
Ideal para
Formas de utilizar Goedel-Prover-V2-32B en osFoundry
Conecten con su propia clave (BYOK)
Abran el diálogo de claves y peguen su clave de API de Goedel-LM. osFoundry detecta Goedel-Prover-V2-32B automáticamente: asígnenlo a un rol de Maestro (router, direct, orchestrator o fallback) en la pestaña Pipeline y quedará activo en cada chat. Su clave, su cuenta de proveedor: sin recargo por tokens.
Desplieguen un endpoint dedicado
Goedel-Prover-V2-32B es de pesos abiertos: ejecútenlo localmente de forma gratuita o desplieguen un endpoint GPU dedicado en su workspace para disponer de capacidad reservada sin límites de tasa.
Úsenlo en una Room App
Las Room Apps declaran funciones de IA en su manifiesto y luego las invocan con invokeAI:
import { invokeAI } from '@osfoundry/app-sdk'
// 'summarize' is an AI feature declared in your app manifest.
const result = await invokeAI('summarize', userText)
Invóquenlo desde sus propias aplicaciones
Una vez que un modelo está integrado en su workspace, pueden alojarlo como API y consumirlo desde sus propios servicios, scripts o CI, fuera de osFoundry.
Qué hardware puede ejecutar Goedel-Prover-V2-32B
Goedel-Prover-V2-32B se ejecuta en una GPU de consumo o estación de trabajo de 24GB (~20 GB de VRAM con margen para la caché KV). La inferencia a precisión completa cabe en una sola H100 80GB con precisión FP16 (~77 GB).
Goedel-Prover-V2-32B frente a modelos similares
Licencia
Sin especificar — Términos de licencia no especificados: verifiquen la ficha del modelo original antes de su uso comercial.
Consulten la documentación original.
Preguntas frecuentes sobre Goedel-Prover-V2-32B
¿Es gratuito el uso de Goedel-Prover-V2-32B?
Goedel-Prover-V2-32B se puede ejecutar gratis localmente en su propio hardware. El acceso alojado a través de osFoundry se mide (entrada Free (local), salida Free (local)). Pueden alternar entre local y alojado en cualquier momento.
¿Puedo utilizar Goedel-Prover-V2-32B comercialmente?
El uso comercial está permitido con condiciones. Términos de licencia no especificados: verifiquen la ficha del modelo original antes de su uso comercial. Consulten la documentación original.
¿Cuánta VRAM necesita Goedel-Prover-V2-32B?
Aproximadamente 20 GB con cuantización Q4, o 77 GB con precisión FP16 completa. Cabe en una sola GPU de consumo de 24GB.
¿Puedo ejecutar Goedel-Prover-V2-32B localmente?
Sí. Goedel-Prover-V2-32B es de pesos abiertos y se ejecuta localmente en una GPU de estación de trabajo. El runtime local de osFoundry gestiona la carga del modelo, la cuantización y el enrutamiento.
¿En qué destaca Goedel-Prover-V2-32B?
Goedel-Prover-V2-32B es muy adecuado para text generation.
¿Cómo se utiliza Goedel-Prover-V2-32B en osFoundry?
Peguen su clave de API de Goedel-LM en el diálogo de claves (o desplieguen los pesos abiertos para modelos autoalojables), asignen Goedel-Prover-V2-32B a un rol de Maestro en la pestaña Pipeline y úsenlo en chat, en Room Apps mediante invokeAI o en sus propias aplicaciones.
Publicado por Goedel-LM el 14 de julio de 2025. Fuente: https://huggingface.co/Goedel-LM/Goedel-Prover-V2-32B