He estado desarrollando entornos durante la última semana. Creo que esto podría satisfacer las necesidades del entorno RL de las masas. Ha habido muchas cosas interesantes y geniales para probar, incluido el entorno de prueba de múltiples turnos Lean4 inspirado en StepRunProver que he creado.
Prime Intellect
Prime Intellect28 ago, 03:16
Presentamos el Hub de Entornos Los entornos de RL son el principal obstáculo para la próxima ola de progreso en IA, pero los grandes laboratorios los están cerrando Hemos construido una plataforma comunitaria para la creación colectiva de entornos abiertos, para que cualquiera pueda contribuir al AGI de código abierto.
8,31K