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 Intellect03:16 28 thg 8
Giới thiệu về Environments Hub Các môi trường RL là nút thắt chính cho làn sóng tiến bộ AI tiếp theo, nhưng các phòng thí nghiệm lớn đang khóa chúng lại Chúng tôi đã xây dựng một nền tảng cộng đồng để crowdsourcing các môi trường mở, để bất kỳ ai cũng có thể đóng góp cho AGI mã nguồn mở
8,33K