He estado desarrollando entornos durante la semana pasada. Creo que esto podría solucionar las necesidades ambientales de RL de las masas. Ha habido muchas cosas interesantes y geniales para probar, incluido el entorno de prueba Lean4 de múltiples turnos inspirado en StepRunProver que he creado.
Prime Intellect
Prime Intellect28 ago, 03:16
Presentación del centro de entornos Los entornos de RL son el cuello de botella clave para la próxima ola de progreso de la IA, pero los grandes laboratorios los están bloqueando Construimos una plataforma comunitaria para entornos abiertos de crowdsourcing, para que cualquiera pueda contribuir a AGI de código abierto
8.33K