Populární témata
#
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.
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.

28. 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
Top
Hodnocení
Oblíbené