Tôi đã phát triển các môi trường trong suốt tuần qua. Tôi tin rằng điều này có thể giải quyết nhu cầu về môi trường RL của đại chúng. Có rất nhiều thứ thú vị và tuyệt vời để thử nghiệm, bao gồm môi trường chứng minh Lean4 đa lượt StepRunProver mà tôi đã tạo ra.
Prime Intellect
Prime Intellect28 thg 8, 2025
Introducing the Environments Hub RL environments are the key bottleneck to the next wave of AI progress, but big labs are locking them down We built a community platform for crowdsourcing open environments, so anyone can contribute to open-source AGI
8,85K