Ich habe in der vergangenen Woche Umgebungen entwickelt. Ich glaube, das könnte die Bedürfnisse der Massen im Bereich der RL-Umgebungen erfüllen. Es gab viele interessante, coole Dinge zu testen, einschließlich der von StepRunProver inspirierten Multi-Turn Lean4 Beweisumgebung, die ich erstellt habe.
Prime Intellect
Prime Intellect28. Aug., 03:16
Einführung des Environments Hub RL-Umgebungen sind der entscheidende Engpass für die nächste Welle des AI-Fortschritts, aber große Labore schließen sie ein Wir haben eine Community-Plattform zum Crowdsourcing offener Umgebungen geschaffen, damit jeder zu Open-Source-AGI beitragen kann.
8,36K