Toutes les news taguées avec ce sujet.
Un chercheur affirme avoir dirigé une flotte d'agents IA, sans aucune revue humaine des preuves, jusqu'à un processeur RISC-V gravé.
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.