Jag har utvecklat miljöer för den senaste veckan. Jag tror att detta skulle kunna fixa RL-miljöbehoven hos massorna. Det har funnits en hel del intressanta, coola saker att testa, inklusive StepRunProver-inspirerad Lean4-proofing-miljö med flera svängar som jag har skapat.
Prime Intellect
Prime Intellect28 aug. 03:16
Introduktion till miljöhubben RL-miljöer är den viktigaste flaskhalsen för nästa våg av AI-framsteg, men stora laboratorier låser dem Vi har skapat en community-plattform för crowdsourcing av öppna miljöer, så att vem som helst kan bidra till AGI med öppen källkod
8,77K