{"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\/it\/2026\/10\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\/","title":{"rendered":"Anthropic afferma che Claude ha dimostrato che 123 librerie open-source non possono andare in crash"},"content":{"rendered":"<p class=\"wp-block-paragraph\"><strong>Anthropic afferma che Claude ha dimostrato matematicamente che il codice sottoposto a fuzz testing in 123 librerie open-source non pu\u00f2 bloccarsi con input inferiori a 64 MB, e ha inoltre individuato bug che anni di test erano sfuggiti.<\/strong><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Il lavoro, <a href=\"https:\/\/www.anthropic.com\/research\/formal-verification\" target=\"_blank\" rel=\"noopener\">pubblicato da <span class=\"noTranslate\" data-no-translation=\"\"><span class=\"noTranslate\" data-no-translation=\"\"><span class=\"noTranslate\" data-no-translation=\"\">Anthropic<\/span><\/span><\/span> il 22 ottobre<\/a> In collaborazione con la startup di verifica formale Theorem, il progetto copre 239 punti di ingresso del progetto OSS-Fuzz di Google. Anthropic lo definisce il primo sforzo su larga scala per utilizzare l&#039;intelligenza artificiale nella verifica formale del software di produzione a livello di codice assembly.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Dai test alle dimostrazioni<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">Il fuzzing consiste nell&#039;inviare un numero enorme di input casuali a un programma per vedere cosa si blocca, ma non pu\u00f2 mai provare ogni singolo input. Anthropic ha trasformato ogni test di fuzzing esistente in una regola formale, &quot;questo test non si blocca mai&quot;, e ha chiesto a Claude di dimostrare che ci\u00f2 vale per ogni input inferiore a 64 MB.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Le dimostrazioni funzionano sul codice macchina RISC-V compilato anzich\u00e9 sul codice sorgente. Nel giro di poche settimane, Claude ha scritto circa 180 milioni di righe di dimostrazioni nell&#039;assistente di dimostrazione Rocq, circa 600.000 righe per un programma tipico. Nessun essere umano deve leggerle; il verificatore Rocq le conferma automaticamente una per una.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Test dei bug mancati<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">Ogni volta che una dimostrazione falliva, Claude trovava un bug, lo correggeva e riprovava. Anthropic afferma che questo lavoro ha portato alla luce centinaia di bug, tra cui una scrittura fuori dai limiti in un decompressore che si verificava solo con input di circa 20 MB e un layout raro, e la riscoperta di un difetto noto nel parser XML di libexpat.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">In test separati, Claude ha dimostrato che il codice zlib del kernel Linux corrisponde alle specifiche del formato e, nel tentativo di verificare un lettore PDF ampiamente utilizzato, ha trovato in una settimana tanti bug di sicurezza quanti ne vengono in genere segnalati in un anno. I dettagli sono nel <a href=\"https:\/\/www-cdn.anthropic.com\/files\/4zrzovbb\/website\/6867eadf760258fa8b42a504600cd3c036d16358.pdf\" target=\"_blank\" rel=\"noopener\">appendice tecnica<\/a>.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Ci\u00f2 che non dimostra<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">Anthropic specifica esplicitamente che &quot;formalmente verificato&quot; non significa privo di bug. Le dimostrazioni presuppongono binari RISC-V a singolo thread e collegati staticamente su Linux, mentre la maggior parte delle implementazioni reali viene eseguita su architetture x86 o ARM. I controlli di memoria utilizzati non rilevano tutti i bug di sicurezza della memoria e non tutti i punti di ingresso in ciascuna libreria sono stati coperti.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">L&#039;altro problema \u00e8 il costo: le prove possono richiedere centinaia di milioni di token. Anthropic afferma che Claude Opus 5.5 ha risolto met\u00e0 di un benchmark di 36 attivit\u00e0 con circa 40% di token in meno rispetto a Opus 5, e gli agenti che hanno condiviso le prove hanno utilizzato 17% di token in meno.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Perch\u00e9 \u00e8 importante<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">L&#039;IA sta diventando molto brava a trovare bug, poich\u00e9 <a href=\"https:\/\/dailyai.com\/it\/2026\/10\/ai-helped-find-php2shell-and-the-disclosure-plan-still-broke-down\/\">Difetti di PHP2Shell<\/a> mostrato questa settimana. Le dimostrazioni sono un modo per dimostrare che intere classi di bug semplicemente non esistono. Theorem ha rilasciato 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> abilit\u00e0<\/a> per i manutentori open-source che vogliono iscrivere i loro progetti, e <a href=\"https:\/\/theorem.dev\/blog\/verified-software-stack\/\" target=\"_blank\" rel=\"noopener\">stime<\/a> che 95% del codice macchina nell&#039;ecosistema software Nix potrebbero essere verificati entro la fine del 2027 per circa 134 milioni di dollari.<\/p>","protected":false},"excerpt":{"rendered":"<p>Anthropic and Theorem used Claude to write 180 million lines of machine-checked proofs showing fuzz-tested code in 123 open-source libraries can&#8217;t crash, and found long-hidden bugs on the way.<\/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\/it\/2026\/10\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\/\" \/>\n<meta property=\"og:locale\" content=\"it_IT\" \/>\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\/it\/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=\"Scritto da\" \/>\n\t<meta name=\"twitter:data1\" content=\"David Merry\" \/>\n\t<meta name=\"twitter:label2\" content=\"Tempo di lettura stimato\" \/>\n\t<meta name=\"twitter:data2\" content=\"2 minuti\" \/>\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\":\"it-IT\",\"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\":\"it-IT\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"it-IT\",\"@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\":\"it-IT\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/#organization\",\"name\":\"DailyAI\",\"url\":\"https:\\\/\\\/dailyai.com\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"it-IT\",\"@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\":\"it-IT\",\"@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\\\/it\\\/author\\\/davidmerry\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Verifica formale di Claude: 123 librerie comprovate senza crash | DailyAI","description":"Anthropic ha utilizzato la verifica formale Claude per dimostrare che il codice di 123 librerie open-source non pu\u00f2 bloccarsi con input inferiori a 64 MB, trovando bug sfuggiti ad anni di fuzzing.","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\/it\/2026\/10\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\/","og_locale":"it_IT","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\/it\/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":{"Scritto da":"David Merry","Tempo di lettura stimato":"2 minuti"},"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":"it-IT","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":"Verifica formale di Claude: 123 librerie comprovate senza crash | 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 ha utilizzato la verifica formale Claude per dimostrare che il codice di 123 librerie open-source non pu\u00f2 bloccarsi con input inferiori a 64 MB, trovando bug sfuggiti ad anni di fuzzing.","breadcrumb":{"@id":"https:\/\/dailyai.com\/2026\/10\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\/#breadcrumb"},"inLanguage":"it-IT","potentialAction":[{"@type":"ReadAction","target":["https:\/\/dailyai.com\/2026\/10\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\/"]}]},{"@type":"ImageObject","inLanguage":"it-IT","@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\u2019economia dell\u2019IA, misurata.","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":"it-IT"},{"@type":"Organization","@id":"https:\/\/dailyai.com\/#organization","name":"DailyAI","url":"https:\/\/dailyai.com\/","logo":{"@type":"ImageObject","inLanguage":"it-IT","@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 misura l\u2019economia dell\u2019IA in numeri: tracker di dati, ricerche e notizie in parole semplici su lavoro, spesa, prezzi e finanziamenti.","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":"it-IT","@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 \u00e8 il fondatore di DailyAI e un imprenditore con sede a Londra. \u00c8 co-fondatore di Kyro, partner di Ki e scrive sull&#039;impatto dell&#039;intelligenza artificiale sul business, sui mercati e sulla vita di tutti i giorni.","sameAs":["https:\/\/www.linkedin.com\/in\/davidmerry\/"],"url":"https:\/\/dailyai.com\/it\/author\/davidmerry\/"}]}},"_links":{"self":[{"href":"https:\/\/dailyai.com\/it\/wp-json\/wp\/v2\/posts\/15324","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/dailyai.com\/it\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/dailyai.com\/it\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/dailyai.com\/it\/wp-json\/wp\/v2\/users\/16"}],"replies":[{"embeddable":true,"href":"https:\/\/dailyai.com\/it\/wp-json\/wp\/v2\/comments?post=15324"}],"version-history":[{"count":1,"href":"https:\/\/dailyai.com\/it\/wp-json\/wp\/v2\/posts\/15324\/revisions"}],"predecessor-version":[{"id":15436,"href":"https:\/\/dailyai.com\/it\/wp-json\/wp\/v2\/posts\/15324\/revisions\/15436"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/dailyai.com\/it\/wp-json\/wp\/v2\/media\/15435"}],"wp:attachment":[{"href":"https:\/\/dailyai.com\/it\/wp-json\/wp\/v2\/media?parent=15324"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/dailyai.com\/it\/wp-json\/wp\/v2\/categories?post=15324"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/dailyai.com\/it\/wp-json\/wp\/v2\/tags?post=15324"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}