Popularne tematy
#
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.
Przez ostatni tydzień rozwijałem środowiska. Wierzę, że to może zaspokoić potrzeby środowiska RL dla mas. Było wiele interesujących, fajnych rzeczy do przetestowania, w tym stworzone przeze mnie środowisko dowodzenia Lean4 inspirowane StepRunProver, które obsługuje wielokrotne tury.
28 sie 2025
Wprowadzenie do Hubu Środowisk
Środowiska RL są kluczowym wąskim gardłem dla następnej fali postępu w AI, ale duże laboratoria je zamykają
Stworzyliśmy platformę społecznościową do crowdsourcingu otwartych środowisk, aby każdy mógł przyczynić się do otwartego AGI
8,83K
Najlepsze
Ranking
Ulubione