Populaire onderwerpen
#
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.
Ik heb deze afgelopen week omgevingen ontwikkeld. Ik geloof dat dit de behoeften van de massa's op het gebied van RL-omgevingen kan vervullen. Er zijn veel interessante, coole dingen om uit te testen, waaronder de multi-turn Lean4 bewijsomgeving geïnspireerd door StepRunProver die ik heb gecreëerd.
28 aug, 03:16
Introductie van de Omgevingen Hub
RL-omgevingen zijn de belangrijkste bottleneck voor de volgende golf van AI-vooruitgang, maar grote laboratoria sluiten ze af.
We hebben een communityplatform gebouwd voor het crowdsourcen van open omgevingen, zodat iedereen kan bijdragen aan open-source AGI.
8,36K
Boven
Positie
Favorieten