Minulý týden jsem vyvíjel prostředí. Věřím, že by to mohlo vyřešit potřeby RL prostředí pro masy. Bylo tam spousta zajímavých a skvělých věcí k otestování, včetně víceotáčkového prostředí Lean4 inspirovaného StepRunProverem, které jsem vytvořil.
Prime Intellect
Prime Intellect28. 8. 03:16
Představujeme centrum Prostředí Prostředí RL jsou klíčovou překážkou pro další vlnu pokroku v oblasti umělé inteligence, ale velké laboratoře je blokují Vybudovali jsme komunitní platformu pro crowdsourcing otevřených prostředí, takže kdokoli může přispívat do open-source AGI
8,31K