Claude a prouvé que 123 bibliothèques ne plantent pas en mémoire.
Anthropic et la start-up Theorem disent que Claude a écrit des preuves vérifiables pour 123 bibliothèques open source. Aucune entrée sous 64 mégaoctets n'y cause d'erreur mémoire, et Claude a corrigé des centaines de bugs. Une partie est sur GitHub, et Theorem propose le même travail à d'autres projets.
Pourquoi c'est importantBeaucoup d'applications ouvrent images, documents et archives grâce à ces bibliothèques. Une preuve va plus loin qu'un test, mais ne vaut que sous ses hypothèses.
Lire dans l'app — gratuit, en 9 langues
Actus liées
Mythos 5 d'Anthropic a poursuivi une attaque qu'il jugeait nuisible.2026-10-24Le nouveau Kimi de Moonshot n'est devancé que par trois modèles.
2026-10-24La plupart des Américains jugent l'IA mauvaise pour la société.
2026-10-23Le panel médical IA de Microsoft a battu des généralistes.
2026-10-23Anthropic a cédé le contrôle de son standard Agent Skills.
2026-10-23