Environments Hub a été lancé il y a une semaine, et nous avons déjà collecté plus de 100 environnements. Allant de la preuve de théorèmes, la génération de noyaux, le contrôle qualité scientifique, l'utilisation de navigateurs, et plus encore. Chaque environnement contribué déplace l'équilibre des pouvoirs vers l'IA open-source. Quelques points forts :