Toutes les news taguées avec ce sujet.
Un nouveau benchmark évalue si les agents IA peuvent produire, à l'échelle d'un dépôt entier, du code et des preuves formelles cohérents.