{"id":15324,"date":"2026-10-23T15:18:21","date_gmt":"2026-10-23T15:18:21","guid":{"rendered":"https:\/\/dailyai.com\/2026\/10\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\/"},"modified":"2026-10-24T17:29:47","modified_gmt":"2026-10-24T17:29:47","slug":"anthropic-says-claude-proved-123-open-source-libraries-cant-crash","status":"publish","type":"post","link":"https:\/\/dailyai.com\/fr\/2026\/10\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\/","title":{"rendered":"Anthropic affirme que Claude a prouv\u00e9 que les biblioth\u00e8ques open source 123 ne peuvent pas planter"},"content":{"rendered":"<p class=\"wp-block-paragraph\"><strong>Anthropic affirme que Claude a prouv\u00e9 math\u00e9matiquement que le code test\u00e9 par fuzzing dans 123 biblioth\u00e8ques open-source ne peut pas planter sur une entr\u00e9e inf\u00e9rieure \u00e0 64 Mo, et a trouv\u00e9 au passage des bogues que des ann\u00e9es de tests avaient manqu\u00e9s.<\/strong><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Le travail, <a href=\"https:\/\/www.anthropic.com\/research\/formal-verification\" target=\"_blank\" rel=\"noopener\">publi\u00e9 par <span class=\"noTranslate\" data-no-translation=\"\"><span class=\"noTranslate\" data-no-translation=\"\"><span class=\"noTranslate\" data-no-translation=\"\">Anthropic<\/span><\/span><\/span> le 22 octobre<\/a> En collaboration avec la startup de v\u00e9rification formelle Theorem, ce projet couvre 239 points d&#039;entr\u00e9e du projet OSS-Fuzz de Google. Anthropic le qualifie de premier effort \u00e0 grande \u00e9chelle visant \u00e0 utiliser l&#039;IA pour v\u00e9rifier formellement des logiciels de production au niveau du code assembleur.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Des tests aux preuves<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">Le fuzzing consiste \u00e0 soumettre un programme \u00e0 un grand nombre d&#039;entr\u00e9es al\u00e9atoires pour identifier les points faibles, mais il est impossible de tester toutes les entr\u00e9es. Anthropic a formalis\u00e9 chaque test de fuzzing existant en une r\u00e8gle\u00a0: \u201c\u00a0ce test ne plante jamais\u00a0\u201d, et Claude a prouv\u00e9 que cette r\u00e8gle est valable pour toutes les entr\u00e9es inf\u00e9rieures \u00e0 64\u00a0Mo.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Les d\u00e9monstrations fonctionnent sur du code machine RISC-V compil\u00e9 et non sur du code source. En quelques semaines, Claude a \u00e9crit environ 180 millions de lignes de d\u00e9monstrations dans l&#039;assistant de d\u00e9monstration Rocq, soit environ 600\u00a0000 lignes pour un programme typique. Aucune intervention humaine n&#039;est requise\u00a0: le v\u00e9rificateur Rocq valide automatiquement chaque d\u00e9monstration.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Tests de bogues manqu\u00e9s<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">\u00c0 chaque \u00e9chec d&#039;une \u00e9preuve, Claude d\u00e9celait un bug, le corrigeait et recommen\u00e7ait. Selon Anthropic, cette d\u00e9marche a permis de mettre au jour des centaines de bugs, dont une \u00e9criture hors limites dans un d\u00e9compresseur qui n&#039;apparaissait que sur des fichiers d&#039;environ 20 Mo avec une configuration rare, ainsi que la red\u00e9couverte d&#039;une faille connue dans l&#039;analyseur XML libexpat.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Lors de tests distincts, Claude a prouv\u00e9 que le code zlib du noyau Linux est conforme aux sp\u00e9cifications du format. De plus, en tentant de v\u00e9rifier un lecteur PDF largement utilis\u00e9, il a d\u00e9couvert en une semaine autant de failles de s\u00e9curit\u00e9 que celles g\u00e9n\u00e9ralement signal\u00e9es en une ann\u00e9e. Plus de d\u00e9tails sont disponibles dans le <a href=\"https:\/\/www-cdn.anthropic.com\/files\/4zrzovbb\/website\/6867eadf760258fa8b42a504600cd3c036d16358.pdf\" target=\"_blank\" rel=\"noopener\">annexe technique<\/a>.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Ce que cela ne prouve pas<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">Anthropic pr\u00e9cise que \u201c\u00a0formellement v\u00e9rifi\u00e9\u00a0\u201d ne signifie pas \u00ab\u00a0sans bogues\u00a0\u00bb. Les preuves supposent des binaires RISC-V monothread et li\u00e9s statiquement sous Linux, alors que la plupart des d\u00e9ploiements r\u00e9els s&#039;ex\u00e9cutent sur x86 ou ARM. Les contr\u00f4les de m\u00e9moire utilis\u00e9s ne d\u00e9tectent pas tous les bogues li\u00e9s \u00e0 la s\u00e9curit\u00e9 m\u00e9moire, et tous les points d&#039;entr\u00e9e de chaque biblioth\u00e8que n&#039;ont pas \u00e9t\u00e9 couverts.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Le co\u00fbt est l'autre obstacle\u00a0: les preuves peuvent n\u00e9cessiter des centaines de millions de jetons. Anthropic indique que Claude Opus 5.5 a r\u00e9solu la moiti\u00e9 d'un benchmark de 36 t\u00e2ches avec environ 40% de jetons en moins qu'Opus 5, et que les agents partageant les preuves ont utilis\u00e9 17% de jetons en moins.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Pourquoi c&#039;est important<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">L&#039;IA devient tr\u00e8s performante pour d\u00e9tecter les bugs, car <a href=\"https:\/\/dailyai.com\/fr\/2026\/10\/ai-helped-find-php2shell-and-the-disclosure-plan-still-broke-down\/\">Failles de PHP2Shell<\/a> Des preuves ont \u00e9t\u00e9 pr\u00e9sent\u00e9es cette semaine. Les d\u00e9monstrations permettent de montrer que des cat\u00e9gories enti\u00e8res de bogues n&#039;existent tout simplement pas. Theorem a publi\u00e9 un <a href=\"https:\/\/github.com\/theorem-labs\/oss-verify\/blob\/main\/.claude\/skills\/add-project\/SKILL.md\" target=\"_blank\" rel=\"noopener\"><span class=\"noTranslate\" data-no-translation=\"\"><span class=\"noTranslate\" data-no-translation=\"\"><span class=\"noTranslate\" data-no-translation=\"\">Claude<\/span><\/span><\/span> comp\u00e9tence<\/a> pour les responsables de projets open source qui souhaitent inscrire leurs projets, et il <a href=\"https:\/\/theorem.dev\/blog\/verified-software-stack\/\" target=\"_blank\" rel=\"noopener\">estimations<\/a> que 95% du code machine dans l&#039;\u00e9cosyst\u00e8me logiciel Nix pourrait \u00eatre v\u00e9rifi\u00e9 d&#039;ici la fin de 2027 pour environ 134 millions de dollars.<\/p>","protected":false},"excerpt":{"rendered":"<p>Anthropic et Theorem ont utilis\u00e9 Claude pour \u00e9crire 180 millions de lignes de preuves v\u00e9rifi\u00e9es par machine montrant que le code test\u00e9 par fuzzing dans 123 biblioth\u00e8ques open-source ne peut pas planter, et ont d\u00e9couvert au passage des bugs longtemps cach\u00e9s.<\/p>","protected":false},"author":16,"featured_media":15435,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[84],"tags":[],"class_list":["post-15324","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-industry"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v28.8 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Claude Formal Verification: 123 Libraries Proven Crash-Free | DailyAI<\/title>\n<meta name=\"description\" content=\"Anthropic used Claude formal verification to prove code in 123 open-source libraries can&#039;t crash on inputs under 64MB, finding bugs years of fuzzing missed.\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/dailyai.com\/fr\/2026\/10\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\/\" \/>\n<meta property=\"og:locale\" content=\"fr_FR\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Claude Formal Verification: 123 Libraries Proven Crash-Free | DailyAI\" \/>\n<meta property=\"og:description\" content=\"Anthropic used Claude formal verification to prove code in 123 open-source libraries can&#039;t crash on inputs under 64MB, finding bugs years of fuzzing missed.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/dailyai.com\/fr\/2026\/10\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\/\" \/>\n<meta property=\"og:site_name\" content=\"DailyAI\" \/>\n<meta property=\"article:published_time\" content=\"2026-10-23T15:18:21+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2026-10-24T17:29:47+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/dailyai.com\/wp-content\/uploads\/2026\/10\/dai-house-15324.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"1600\" \/>\n\t<meta property=\"og:image:height\" content=\"900\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"David Merry\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:creator\" content=\"@DailyAIOfficial\" \/>\n<meta name=\"twitter:site\" content=\"@DailyAIOfficial\" \/>\n<meta name=\"twitter:label1\" content=\"\u00c9crit par\" \/>\n\t<meta name=\"twitter:data1\" content=\"David Merry\" \/>\n\t<meta name=\"twitter:label2\" content=\"Dur\u00e9e de lecture estim\u00e9e\" \/>\n\t<meta name=\"twitter:data2\" content=\"2 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"NewsArticle\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\\\/#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\\\/\"},\"author\":{\"name\":\"David Merry\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/#\\\/schema\\\/person\\\/285a97adb64b88751ac3440ece6b08a1\"},\"headline\":\"Anthropic Says Claude Proved 123 Open-Source Libraries Can\u2019t Crash\",\"datePublished\":\"2026-10-23T15:18:21+00:00\",\"dateModified\":\"2026-10-24T17:29:47+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\\\/\"},\"wordCount\":447,\"commentCount\":0,\"publisher\":{\"@id\":\"https:\\\/\\\/dailyai.com\\\/#organization\"},\"image\":{\"@id\":\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/dailyai.com\\\/wp-content\\\/uploads\\\/2026\\\/10\\\/dai-house-15324.jpg\",\"articleSection\":[\"Industry\"],\"inLanguage\":\"fr-FR\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\\\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\\\/\",\"url\":\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\\\/\",\"name\":\"Claude Formal Verification: 123 Libraries Proven Crash-Free | DailyAI\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/dailyai.com\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/dailyai.com\\\/wp-content\\\/uploads\\\/2026\\\/10\\\/dai-house-15324.jpg\",\"datePublished\":\"2026-10-23T15:18:21+00:00\",\"dateModified\":\"2026-10-24T17:29:47+00:00\",\"description\":\"Anthropic used Claude formal verification to prove code in 123 open-source libraries can't crash on inputs under 64MB, finding bugs years of fuzzing missed.\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\\\/#breadcrumb\"},\"inLanguage\":\"fr-FR\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"fr-FR\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\\\/#primaryimage\",\"url\":\"https:\\\/\\\/dailyai.com\\\/wp-content\\\/uploads\\\/2026\\\/10\\\/dai-house-15324.jpg\",\"contentUrl\":\"https:\\\/\\\/dailyai.com\\\/wp-content\\\/uploads\\\/2026\\\/10\\\/dai-house-15324.jpg\",\"width\":1600,\"height\":900,\"caption\":\"Anthropic Says Claude Proved 123 Open-Source Libraries Can\u2019t Crash\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/dailyai.com\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Anthropic Says Claude Proved 123 Open-Source Libraries Can&#8217;t Crash\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/#website\",\"url\":\"https:\\\/\\\/dailyai.com\\\/\",\"name\":\"DailyAI\",\"description\":\"The AI economy, measured.\",\"publisher\":{\"@id\":\"https:\\\/\\\/dailyai.com\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/dailyai.com\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"fr-FR\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/#organization\",\"name\":\"DailyAI\",\"url\":\"https:\\\/\\\/dailyai.com\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"fr-FR\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/#\\\/schema\\\/logo\\\/image\\\/\",\"url\":\"https:\\\/\\\/dailyai.com\\\/wp-content\\\/uploads\\\/2023\\\/06\\\/Daily-Ai_TL_colour.png\",\"contentUrl\":\"https:\\\/\\\/dailyai.com\\\/wp-content\\\/uploads\\\/2023\\\/06\\\/Daily-Ai_TL_colour.png\",\"width\":4501,\"height\":934,\"caption\":\"DailyAI\"},\"image\":{\"@id\":\"https:\\\/\\\/dailyai.com\\\/#\\\/schema\\\/logo\\\/image\\\/\"},\"sameAs\":[\"https:\\\/\\\/x.com\\\/DailyAIOfficial\",\"https:\\\/\\\/www.linkedin.com\\\/company\\\/dailyaiofficial\\\/\",\"https:\\\/\\\/www.youtube.com\\\/@DailyAIOfficial\"],\"legalName\":\"Zero Hour Investments FZCO\",\"foundingDate\":\"2023\",\"slogan\":\"The AI economy, measured.\",\"description\":\"DailyAI tracks the AI economy in numbers: data trackers, research and plain-English news on jobs, spending, pricing and funding.\",\"address\":{\"@type\":\"PostalAddress\",\"addressCountry\":\"AE\"},\"contactPoint\":{\"@type\":\"ContactPoint\",\"contactType\":\"customer support\",\"url\":\"https:\\\/\\\/dailyai.com\\\/contact\\\/\"},\"founder\":{\"@type\":\"Person\",\"name\":\"David Merry\",\"url\":\"https:\\\/\\\/dailyai.com\\\/author\\\/davidmerry\\\/\",\"sameAs\":[\"https:\\\/\\\/www.linkedin.com\\\/in\\\/davidmerry\\\/\"]}},{\"@type\":\"Person\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/#\\\/schema\\\/person\\\/285a97adb64b88751ac3440ece6b08a1\",\"name\":\"David Merry\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"fr-FR\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/wp-content\\\/uploads\\\/2026\\\/10\\\/david-merry-dailyai.jpg\",\"url\":\"https:\\\/\\\/dailyai.com\\\/wp-content\\\/uploads\\\/2026\\\/10\\\/david-merry-dailyai.jpg\",\"contentUrl\":\"https:\\\/\\\/dailyai.com\\\/wp-content\\\/uploads\\\/2026\\\/10\\\/david-merry-dailyai.jpg\",\"caption\":\"David Merry\"},\"description\":\"David Merry is the founder of DailyAI and a London-based entrepreneur. He co-founded Kyro, is a partner at Ki and writes about AI's impact on business, markets and everyday life.\",\"sameAs\":[\"https:\\\/\\\/www.linkedin.com\\\/in\\\/davidmerry\\\/\"],\"url\":\"https:\\\/\\\/dailyai.com\\\/fr\\\/author\\\/davidmerry\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"V\u00e9rification formelle Claude\u00a0: 123 biblioth\u00e8ques \u00e9prouv\u00e9es sans plantage | DailyAI","description":"Anthropic a utilis\u00e9 la v\u00e9rification formelle Claude pour prouver que le code de 123 biblioth\u00e8ques open-source ne peut pas planter sur des entr\u00e9es inf\u00e9rieures \u00e0 64 Mo, trouvant des bogues que des ann\u00e9es de fuzzing avaient manqu\u00e9s.","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/dailyai.com\/fr\/2026\/10\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\/","og_locale":"fr_FR","og_type":"article","og_title":"Claude Formal Verification: 123 Libraries Proven Crash-Free | DailyAI","og_description":"Anthropic used Claude formal verification to prove code in 123 open-source libraries can't crash on inputs under 64MB, finding bugs years of fuzzing missed.","og_url":"https:\/\/dailyai.com\/fr\/2026\/10\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\/","og_site_name":"DailyAI","article_published_time":"2026-10-23T15:18:21+00:00","article_modified_time":"2026-10-24T17:29:47+00:00","og_image":[{"width":1600,"height":900,"url":"https:\/\/dailyai.com\/wp-content\/uploads\/2026\/10\/dai-house-15324.jpg","type":"image\/jpeg"}],"author":"David Merry","twitter_card":"summary_large_image","twitter_creator":"@DailyAIOfficial","twitter_site":"@DailyAIOfficial","twitter_misc":{"\u00c9crit par":"David Merry","Dur\u00e9e de lecture estim\u00e9e":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"NewsArticle","@id":"https:\/\/dailyai.com\/2026\/10\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\/#article","isPartOf":{"@id":"https:\/\/dailyai.com\/2026\/10\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\/"},"author":{"name":"David Merry","@id":"https:\/\/dailyai.com\/#\/schema\/person\/285a97adb64b88751ac3440ece6b08a1"},"headline":"Anthropic Says Claude Proved 123 Open-Source Libraries Can\u2019t Crash","datePublished":"2026-10-23T15:18:21+00:00","dateModified":"2026-10-24T17:29:47+00:00","mainEntityOfPage":{"@id":"https:\/\/dailyai.com\/2026\/10\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\/"},"wordCount":447,"commentCount":0,"publisher":{"@id":"https:\/\/dailyai.com\/#organization"},"image":{"@id":"https:\/\/dailyai.com\/2026\/10\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\/#primaryimage"},"thumbnailUrl":"https:\/\/dailyai.com\/wp-content\/uploads\/2026\/10\/dai-house-15324.jpg","articleSection":["Industry"],"inLanguage":"fr-FR","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/dailyai.com\/2026\/10\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\/#respond"]}]},{"@type":"WebPage","@id":"https:\/\/dailyai.com\/2026\/10\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\/","url":"https:\/\/dailyai.com\/2026\/10\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\/","name":"V\u00e9rification formelle Claude\u00a0: 123 biblioth\u00e8ques \u00e9prouv\u00e9es sans plantage | DailyAI","isPartOf":{"@id":"https:\/\/dailyai.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/dailyai.com\/2026\/10\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\/#primaryimage"},"image":{"@id":"https:\/\/dailyai.com\/2026\/10\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\/#primaryimage"},"thumbnailUrl":"https:\/\/dailyai.com\/wp-content\/uploads\/2026\/10\/dai-house-15324.jpg","datePublished":"2026-10-23T15:18:21+00:00","dateModified":"2026-10-24T17:29:47+00:00","description":"Anthropic a utilis\u00e9 la v\u00e9rification formelle Claude pour prouver que le code de 123 biblioth\u00e8ques open-source ne peut pas planter sur des entr\u00e9es inf\u00e9rieures \u00e0 64 Mo, trouvant des bogues que des ann\u00e9es de fuzzing avaient manqu\u00e9s.","breadcrumb":{"@id":"https:\/\/dailyai.com\/2026\/10\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\/#breadcrumb"},"inLanguage":"fr-FR","potentialAction":[{"@type":"ReadAction","target":["https:\/\/dailyai.com\/2026\/10\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\/"]}]},{"@type":"ImageObject","inLanguage":"fr-FR","@id":"https:\/\/dailyai.com\/2026\/10\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\/#primaryimage","url":"https:\/\/dailyai.com\/wp-content\/uploads\/2026\/10\/dai-house-15324.jpg","contentUrl":"https:\/\/dailyai.com\/wp-content\/uploads\/2026\/10\/dai-house-15324.jpg","width":1600,"height":900,"caption":"Anthropic Says Claude Proved 123 Open-Source Libraries Can\u2019t Crash"},{"@type":"BreadcrumbList","@id":"https:\/\/dailyai.com\/2026\/10\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/dailyai.com\/"},{"@type":"ListItem","position":2,"name":"Anthropic Says Claude Proved 123 Open-Source Libraries Can&#8217;t Crash"}]},{"@type":"WebSite","@id":"https:\/\/dailyai.com\/#website","url":"https:\/\/dailyai.com\/","name":"DailyAI","description":"L\u2019\u00e9conomie de l\u2019IA, mesur\u00e9e.","publisher":{"@id":"https:\/\/dailyai.com\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/dailyai.com\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"fr-FR"},{"@type":"Organization","@id":"https:\/\/dailyai.com\/#organization","name":"DailyAI","url":"https:\/\/dailyai.com\/","logo":{"@type":"ImageObject","inLanguage":"fr-FR","@id":"https:\/\/dailyai.com\/#\/schema\/logo\/image\/","url":"https:\/\/dailyai.com\/wp-content\/uploads\/2023\/06\/Daily-Ai_TL_colour.png","contentUrl":"https:\/\/dailyai.com\/wp-content\/uploads\/2023\/06\/Daily-Ai_TL_colour.png","width":4501,"height":934,"caption":"DailyAI"},"image":{"@id":"https:\/\/dailyai.com\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/x.com\/DailyAIOfficial","https:\/\/www.linkedin.com\/company\/dailyaiofficial\/","https:\/\/www.youtube.com\/@DailyAIOfficial"],"legalName":"Zero Hour Investments FZCO","foundingDate":"2023","slogan":"The AI economy, measured.","description":"DailyAI suit l\u2019\u00e9conomie de l\u2019IA en chiffres : trackers de donn\u00e9es, \u00e9tudes et actualit\u00e9s en langage clair sur l\u2019emploi, les d\u00e9penses, les prix et les financements.","address":{"@type":"PostalAddress","addressCountry":"AE"},"contactPoint":{"@type":"ContactPoint","contactType":"customer support","url":"https:\/\/dailyai.com\/contact\/"},"founder":{"@type":"Person","name":"David Merry","url":"https:\/\/dailyai.com\/author\/davidmerry\/","sameAs":["https:\/\/www.linkedin.com\/in\/davidmerry\/"]}},{"@type":"Person","@id":"https:\/\/dailyai.com\/#\/schema\/person\/285a97adb64b88751ac3440ece6b08a1","name":"David Merry","image":{"@type":"ImageObject","inLanguage":"fr-FR","@id":"https:\/\/dailyai.com\/wp-content\/uploads\/2026\/10\/david-merry-dailyai.jpg","url":"https:\/\/dailyai.com\/wp-content\/uploads\/2026\/10\/david-merry-dailyai.jpg","contentUrl":"https:\/\/dailyai.com\/wp-content\/uploads\/2026\/10\/david-merry-dailyai.jpg","caption":"David Merry"},"description":"David Merry est le fondateur de DailyAI et un entrepreneur bas\u00e9 \u00e0 Londres. Il a cofond\u00e9 Kyro, est associ\u00e9 chez Ki et \u00e9crit sur l&#039;impact de l&#039;IA sur les entreprises, les march\u00e9s et la vie quotidienne.","sameAs":["https:\/\/www.linkedin.com\/in\/davidmerry\/"],"url":"https:\/\/dailyai.com\/fr\/author\/davidmerry\/"}]}},"_links":{"self":[{"href":"https:\/\/dailyai.com\/fr\/wp-json\/wp\/v2\/posts\/15324","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/dailyai.com\/fr\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/dailyai.com\/fr\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/dailyai.com\/fr\/wp-json\/wp\/v2\/users\/16"}],"replies":[{"embeddable":true,"href":"https:\/\/dailyai.com\/fr\/wp-json\/wp\/v2\/comments?post=15324"}],"version-history":[{"count":1,"href":"https:\/\/dailyai.com\/fr\/wp-json\/wp\/v2\/posts\/15324\/revisions"}],"predecessor-version":[{"id":15436,"href":"https:\/\/dailyai.com\/fr\/wp-json\/wp\/v2\/posts\/15324\/revisions\/15436"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/dailyai.com\/fr\/wp-json\/wp\/v2\/media\/15435"}],"wp:attachment":[{"href":"https:\/\/dailyai.com\/fr\/wp-json\/wp\/v2\/media?parent=15324"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/dailyai.com\/fr\/wp-json\/wp\/v2\/categories?post=15324"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/dailyai.com\/fr\/wp-json\/wp\/v2\/tags?post=15324"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}