Ho sviluppato ambienti per tutta la settimana scorsa. Credo che questo possa soddisfare le esigenze dell'ambiente RL per le masse. Ci sono state molte cose interessanti e cool da testare, incluso l'ambiente di dimostrazione multi-turno Lean4 ispirato a StepRunProver che ho creato.
Prime Intellect
Prime Intellect28 ago, 03:16
Introduzione all'Environments Hub Gli ambienti RL sono il principale collo di bottiglia per la prossima ondata di progressi nell'IA, ma i grandi laboratori li stanno bloccando Abbiamo costruito una piattaforma comunitaria per il crowdsourcing di ambienti aperti, affinché chiunque possa contribuire all'AGI open-source
8,31K