Jeg har utviklet miljøer den siste uken. Jeg tror dette kan fikse RL-miljøbehovene til massene. Det har vært mange interessante, kule ting å teste ut, inkludert StepRunProver-inspirert Lean4-prøvetrykk med flere svinger jeg har laget.
Prime Intellect
Prime Intellect28. aug., 03:16
Vi presenterer miljøhuben RL-miljøer er den viktigste flaskehalsen for neste bølge av AI-fremgang, men store laboratorier låser dem ned Vi bygde en fellesskapsplattform for crowdsourcing av åpne miljøer, slik at alle kan bidra til AGI med åpen kildekode
8,62K