{"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\/nl\/2026\/10\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\/","title":{"rendered":"Anthropic zegt dat Claude heeft bewezen dat 123 open-sourcebibliotheken niet kunnen crashen"},"content":{"rendered":"<p class=\"wp-block-paragraph\"><strong>Anthropic zegt dat Claude wiskundig heeft bewezen dat fuzz-geteste code in 123 open-sourcebibliotheken niet kan vastlopen bij invoer kleiner dan 64 MB, en dat er daarbij bugs zijn gevonden die door jarenlange tests over het hoofd waren gezien.<\/strong><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Het werk, <a href=\"https:\/\/www.anthropic.com\/research\/formal-verification\" target=\"_blank\" rel=\"noopener\">uitgegeven door <span class=\"noTranslate\" data-no-translation=\"\"><span class=\"noTranslate\" data-no-translation=\"\"><span class=\"noTranslate\" data-no-translation=\"\">Anthropic<\/span><\/span><\/span> op 22 oktober<\/a> In samenwerking met de startup Theorem, gespecialiseerd in formele verificatie, worden 239 ingangspunten van Google&#039;s OSS-Fuzz-project behandeld. Anthropic noemt het de eerste grootschalige poging om AI te gebruiken voor de formele verificatie van productiesoftware op het niveau van de assembleercode.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Van tests tot bewijzen<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">Bij fuzzing worden enorme aantallen willekeurige invoerwaarden aan een programma aangeboden om te zien wat er misgaat, maar het kan nooit elke mogelijke invoerwaarde uitproberen. Anthropic heeft elke bestaande fuzz-test omgezet in een formele regel, &quot;deze test zal nooit crashen&quot;, en Claude heeft bewezen dat dit geldt voor elke invoerwaarde kleiner dan 64 MB.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">De bewijzen werken met gecompileerde RISC-V-machinecode in plaats van broncode. In een paar weken tijd schreef Claude ongeveer 180 miljoen regels bewijs in de Rocq-bewijsassistent, zo&#039;n 600.000 regels voor een typisch programma. Niemand hoeft ze te lezen; de Rocq-controleur bevestigt ze stuk voor stuk automatisch.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Testen op bugs gemist<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">Telkens als een bewijs mislukte, had Claude een fout gevonden, deze verholpen en het opnieuw geprobeerd. Anthropic zegt dat de inspanning honderden fouten aan het licht bracht, waaronder een out-of-bounds schrijffout in een decompressor die alleen voorkwam bij invoer van ongeveer 20 MB met \u00e9\u00e9n zeldzame lay-out, en de herontdekking van een bekende fout in de libexpat XML-parser.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">In afzonderlijke tests bewees Claude dat de zlib-code van de Linux-kernel overeenkomt met de specificatie van het formaat. Tijdens het controleren van een veelgebruikte PDF-lezer ontdekte hij in \u00e9\u00e9n week evenveel beveiligingslekken als er normaal gesproken in een jaar worden gemeld. Meer details zijn te vinden in de <a href=\"https:\/\/www-cdn.anthropic.com\/files\/4zrzovbb\/website\/6867eadf760258fa8b42a504600cd3c036d16358.pdf\" target=\"_blank\" rel=\"noopener\">technische bijlage<\/a>.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Wat het niet bewijst<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">Anthropic maakt expliciet dat &quot;formeel geverifieerd&quot; niet betekent dat het bugvrij is. De bewijzen gaan uit van single-threaded, statisch gelinkte RISC-V-binaries op Linux, terwijl de meeste implementaties in de praktijk op x86 of ARM draaien. De gebruikte geheugencontroles vangen niet elke geheugenveiligheidsbug op, en niet elk toegangspunt in elke bibliotheek is gecontroleerd.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">De kosten vormen een ander addertje onder het gras: bewijzen kunnen honderden miljoenen tokens kosten. Anthropic zegt dat Claude Opus 5.5 de helft van een benchmark met 36 taken heeft opgelost met ongeveer 40% minder tokens dan Opus 5, en dat agents die bewijzen deelden 17% minder tokens gebruikten.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Waarom het belangrijk is<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">AI wordt steeds beter in het vinden van bugs, omdat de <a href=\"https:\/\/dailyai.com\/nl\/2026\/10\/ai-helped-find-php2shell-and-the-disclosure-plan-still-broke-down\/\">PHP2Shell-fouten<\/a> liet deze week zien. Bewijzen zijn een manier om aan te tonen dat hele categorie\u00ebn bugs simpelweg niet bestaan. Theorem heeft een <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> vaardigheid<\/a> voor open-source beheerders die hun projecten willen registreren, en het <a href=\"https:\/\/theorem.dev\/blog\/verified-software-stack\/\" target=\"_blank\" rel=\"noopener\">schattingen<\/a> dat 95% aan machinecode in het Nix-software-ecosysteem tegen het einde van 2027 geverifieerd zou kunnen worden, wat neerkomt op ongeveer $134 miljoen.<\/p>","protected":false},"excerpt":{"rendered":"<p>Anthropic en Theorem gebruikten Claude om 180 miljoen regels aan machinaal gecontroleerde bewijzen te schrijven die aantonen dat fuzz-geteste code in 123 open-sourcebibliotheken niet kan crashen, en ontdekten daarbij lang verborgen bugs.<\/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\/nl\/2026\/10\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\/\" \/>\n<meta property=\"og:locale\" content=\"nl_NL\" \/>\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\/nl\/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=\"Geschreven door\" \/>\n\t<meta name=\"twitter:data1\" content=\"David Merry\" \/>\n\t<meta name=\"twitter:label2\" content=\"Geschatte leestijd\" \/>\n\t<meta name=\"twitter:data2\" content=\"2 minuten\" \/>\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\":\"nl-NL\",\"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\":\"nl-NL\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"nl-NL\",\"@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\":\"nl-NL\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/#organization\",\"name\":\"DailyAI\",\"url\":\"https:\\\/\\\/dailyai.com\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"nl-NL\",\"@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\":\"nl-NL\",\"@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\\\/nl\\\/author\\\/davidmerry\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Formele verificatie door Claude: 123 bewezen crashvrije bibliotheken | DailyAI","description":"Anthropic gebruikte de formele verificatiemethode van Claude om te bewijzen dat code in 123 open-sourcebibliotheken niet kan vastlopen bij invoer kleiner dan 64 MB, en vond daarbij bugs die jarenlang fuzzing-onderzoek over het hoofd had gezien.","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\/nl\/2026\/10\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\/","og_locale":"nl_NL","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\/nl\/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":{"Geschreven door":"David Merry","Geschatte leestijd":"2 minuten"},"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":"nl-NL","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":"Formele verificatie door Claude: 123 bewezen crashvrije bibliotheken | 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 gebruikte de formele verificatiemethode van Claude om te bewijzen dat code in 123 open-sourcebibliotheken niet kan vastlopen bij invoer kleiner dan 64 MB, en vond daarbij bugs die jarenlang fuzzing-onderzoek over het hoofd had gezien.","breadcrumb":{"@id":"https:\/\/dailyai.com\/2026\/10\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\/#breadcrumb"},"inLanguage":"nl-NL","potentialAction":[{"@type":"ReadAction","target":["https:\/\/dailyai.com\/2026\/10\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\/"]}]},{"@type":"ImageObject","inLanguage":"nl-NL","@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":"De AI-economie, gemeten.","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":"nl-NL"},{"@type":"Organization","@id":"https:\/\/dailyai.com\/#organization","name":"DailyAI","url":"https:\/\/dailyai.com\/","logo":{"@type":"ImageObject","inLanguage":"nl-NL","@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 volgt de AI-economie in cijfers: datatrackers, onderzoek en begrijpelijk nieuws over banen, uitgaven, prijzen en financiering.","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":"nl-NL","@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 de oprichter van DailyAI en een in Londen gevestigde ondernemer. Hij is medeoprichter van Kyro, partner bij Ki en schrijft over de impact van AI op het bedrijfsleven, de markten en het dagelijks leven.","sameAs":["https:\/\/www.linkedin.com\/in\/davidmerry\/"],"url":"https:\/\/dailyai.com\/nl\/author\/davidmerry\/"}]}},"_links":{"self":[{"href":"https:\/\/dailyai.com\/nl\/wp-json\/wp\/v2\/posts\/15324","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/dailyai.com\/nl\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/dailyai.com\/nl\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/dailyai.com\/nl\/wp-json\/wp\/v2\/users\/16"}],"replies":[{"embeddable":true,"href":"https:\/\/dailyai.com\/nl\/wp-json\/wp\/v2\/comments?post=15324"}],"version-history":[{"count":1,"href":"https:\/\/dailyai.com\/nl\/wp-json\/wp\/v2\/posts\/15324\/revisions"}],"predecessor-version":[{"id":15436,"href":"https:\/\/dailyai.com\/nl\/wp-json\/wp\/v2\/posts\/15324\/revisions\/15436"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/dailyai.com\/nl\/wp-json\/wp\/v2\/media\/15435"}],"wp:attachment":[{"href":"https:\/\/dailyai.com\/nl\/wp-json\/wp\/v2\/media?parent=15324"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/dailyai.com\/nl\/wp-json\/wp\/v2\/categories?post=15324"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/dailyai.com\/nl\/wp-json\/wp\/v2\/tags?post=15324"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}