Актуальные темы
#
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.
На протяжении последней недели я разрабатывал окружения. Я верю, что это может решить потребности масс в RL-окружениях. Было много интересных и классных вещей для тестирования, включая созданное мной многоходовое окружение для доказательства на Lean4, вдохновленное StepRunProver.

28 авг. 2025 г.
Представляем Хаб Окружений
Окружения RL являются ключевым узким местом для следующей волны прогресса в области ИИ, но крупные лаборатории их закрывают
Мы создали платформу сообщества для краудсорсинга открытых окружений, чтобы любой мог внести свой вклад в открытый AGI
8,8K
Топ
Рейтинг
Избранное