PDD Kit veut prouver que le code écrit par une IA respecte sa mission
Microsoft Research présente PDD Kit, un prototype qui transforme l’intention d’un développeur en spécification formelle, puis vérifie mathématiquement qu’un code écrit par un agent…