Agents IA : la preuve formelle remplace-t-elle l'humain ?
Une flotte d'agents IA a conçu un processeur RISC-V en cinq semaines, sans qu'aucun humain n'écrive de code ni ne vérifie les preuves mathématiques. Lorsque la certitude remplace la surveillance, la confiance se déplace de l'exécutant vers le vérificateur. Sommes-nous prêts à déléguer des productions matérielles critiques à des chaînes de preuves automatisées ?
#secteurs #meta-volatile #semiconducteurs #agents #verification
The skinny
The skinny isn't ready yet — notes appear once the transcript is processed.