Recherche
Anthropic affirme que Claude a prouvé formellement que 123 bibliothèques open source ne plantent pas sur leurs tests de fuzzing, directement sur le code compilé
Avec la jeune pousse Theorem, Anthropic a fait rédiger à Claude des preuves Rocq couvrant 239 points d'entrée de fuzzing dans 123 bibliothèques OSS-Fuzz, au niveau du binaire RISC-V, en corrigeant au passage des centaine…