Rubriques tendance
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
J'ai développé des environnements au cours de la semaine dernière. Je crois que cela pourrait répondre aux besoins en environnement RL des masses. Il y a eu beaucoup de choses intéressantes et cool à tester, y compris l'environnement de preuve multi-tour Lean4 inspiré de StepRunProver que j'ai créé.
28 août 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
Meilleurs
Classement
Favoris