{"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\/es\/2026\/10\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\/","title":{"rendered":"Anthropic afirma que Claude demostr\u00f3 que 123 bibliotecas de c\u00f3digo abierto no pueden fallar"},"content":{"rendered":"<p class=\"wp-block-paragraph\"><strong>Anthropic afirma que Claude ha demostrado matem\u00e1ticamente que el c\u00f3digo sometido a pruebas de fuzzing en 123 bibliotecas de c\u00f3digo abierto no puede fallar con ninguna entrada inferior a 64 MB, y que en el proceso se encontraron errores que a\u00f1os de pruebas hab\u00edan pasado por alto.<\/strong><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">La obra, <a href=\"https:\/\/www.anthropic.com\/research\/formal-verification\" target=\"_blank\" rel=\"noopener\">publicado por <span class=\"noTranslate\" data-no-translation=\"\"><span class=\"noTranslate\" data-no-translation=\"\"><span class=\"noTranslate\" data-no-translation=\"\">Anthropic<\/span><\/span><\/span> el 22 de octubre<\/a> La startup de verificaci\u00f3n formal Theorem cubre 239 puntos de entrada del proyecto OSS-Fuzz de Google. Anthropic lo denomina el primer esfuerzo a gran escala para utilizar IA en la verificaci\u00f3n formal de software de producci\u00f3n a nivel de c\u00f3digo ensamblador.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">De las pruebas a las demostraciones<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">El fuzzing consiste en introducir una gran cantidad de datos aleatorios en un programa para ver qu\u00e9 falla, pero nunca puede probar todas las entradas. Anthropic convirti\u00f3 cada prueba de fuzzing existente en una regla formal: &quot;esta prueba nunca falla&quot;, y le pidi\u00f3 a Claude que demostrara que se cumple para cualquier entrada de menos de 64 MB.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Las demostraciones funcionan con c\u00f3digo m\u00e1quina RISC-V compilado, en lugar de con c\u00f3digo fuente. En pocas semanas, Claude escribi\u00f3 unos 180 millones de l\u00edneas de demostraciones en el asistente de demostraciones Rocq, lo que equivale a unas 600\u00a0000 l\u00edneas por programa t\u00edpico. No es necesario que las lea ning\u00fan humano; el verificador Rocq las confirma autom\u00e1ticamente.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Errores detectados en las pruebas<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">Cada vez que una prueba fallaba, Claude encontraba un error, lo correg\u00eda y volv\u00eda a intentarlo. Anthropic afirma que este esfuerzo revel\u00f3 cientos de errores, incluyendo una escritura fuera de l\u00edmites en un descompresor que solo aparec\u00eda en entradas de aproximadamente 20 MB con una disposici\u00f3n poco com\u00fan, y el redescubrimiento de una falla conocida en el analizador XML de libexpat.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">En pruebas separadas, Claude demostr\u00f3 que el c\u00f3digo zlib del kernel de Linux coincide con la especificaci\u00f3n del formato, y mientras intentaba verificar un lector de PDF ampliamente utilizado, encontr\u00f3 en una semana tantos errores de seguridad como los que normalmente se reportan en un a\u00f1o. Los detalles est\u00e1n en el <a href=\"https:\/\/www-cdn.anthropic.com\/files\/4zrzovbb\/website\/6867eadf760258fa8b42a504600cd3c036d16358.pdf\" target=\"_blank\" rel=\"noopener\">ap\u00e9ndice t\u00e9cnico<\/a>.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Lo que no demuestra<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">Anthropic deja claro que \u201cverificado formalmente\u201d no significa libre de errores. Las pruebas presuponen binarios RISC-V de un solo hilo y enlazados est\u00e1ticamente en Linux, mientras que la mayor\u00eda de las implementaciones reales se ejecutan en x86 o ARM. Las comprobaciones de memoria utilizadas no detectan todos los errores de seguridad de memoria, y no se cubrieron todos los puntos de entrada de cada biblioteca.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">El coste es otro inconveniente: las pruebas pueden requerir cientos de millones de tokens. Anthropic afirma que Claude Opus 5.5 resolvi\u00f3 la mitad de una prueba comparativa de 36 tareas con aproximadamente 40% tokens menos que Opus 5, y los agentes que compartieron pruebas utilizaron 17% tokens menos.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Por qu\u00e9 es importante<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">La IA se est\u00e1 volviendo muy buena para encontrar errores, ya que <a href=\"https:\/\/dailyai.com\/es\/2026\/10\/ai-helped-find-php2shell-and-the-disclosure-plan-still-broke-down\/\">Fallos en PHP2Shell<\/a> mostr\u00f3 esta semana. Las pruebas son una forma de demostrar que clases enteras de errores simplemente no existen. Theorem ha publicado 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> habilidad<\/a> para los mantenedores de c\u00f3digo abierto que desean inscribir sus proyectos, y <a href=\"https:\/\/theorem.dev\/blog\/verified-software-stack\/\" target=\"_blank\" rel=\"noopener\">estimaciones<\/a> que 95% del c\u00f3digo m\u00e1quina en el ecosistema de software Nix podr\u00edan verificarse para finales de 2027 para aproximadamente 134 millones de d\u00f3lares.<\/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\/es\/2026\/10\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\/\" \/>\n<meta property=\"og:locale\" content=\"es_ES\" \/>\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\/es\/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=\"Escrito por\" \/>\n\t<meta name=\"twitter:data1\" content=\"David Merry\" \/>\n\t<meta name=\"twitter:label2\" content=\"Tiempo de lectura\" \/>\n\t<meta name=\"twitter:data2\" content=\"2 minutos\" \/>\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\":\"es\",\"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\":\"es\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"es\",\"@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\":\"es\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/#organization\",\"name\":\"DailyAI\",\"url\":\"https:\\\/\\\/dailyai.com\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"es\",\"@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\":\"es\",\"@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\\\/es\\\/author\\\/davidmerry\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Verificaci\u00f3n formal de Claude: 123 bibliotecas probadas sin fallos | DailyAI","description":"Anthropic utiliz\u00f3 la verificaci\u00f3n formal de Claude para demostrar que el c\u00f3digo de 123 bibliotecas de c\u00f3digo abierto no puede fallar con entradas inferiores a 64 MB, encontrando errores que a\u00f1os de pruebas de fuzzing hab\u00edan pasado por alto.","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\/es\/2026\/10\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\/","og_locale":"es_ES","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\/es\/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":{"Escrito por":"David Merry","Tiempo de lectura":"2 minutos"},"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":"es","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":"Verificaci\u00f3n formal de Claude: 123 bibliotecas probadas sin fallos | 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 utiliz\u00f3 la verificaci\u00f3n formal de Claude para demostrar que el c\u00f3digo de 123 bibliotecas de c\u00f3digo abierto no puede fallar con entradas inferiores a 64 MB, encontrando errores que a\u00f1os de pruebas de fuzzing hab\u00edan pasado por alto.","breadcrumb":{"@id":"https:\/\/dailyai.com\/2026\/10\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\/#breadcrumb"},"inLanguage":"es","potentialAction":[{"@type":"ReadAction","target":["https:\/\/dailyai.com\/2026\/10\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\/"]}]},{"@type":"ImageObject","inLanguage":"es","@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":"La econom\u00eda de la IA, medida.","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":"es"},{"@type":"Organization","@id":"https:\/\/dailyai.com\/#organization","name":"DailyAI","url":"https:\/\/dailyai.com\/","logo":{"@type":"ImageObject","inLanguage":"es","@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 sigue la econom\u00eda de la IA en cifras: rastreadores de datos, an\u00e1lisis y noticias en lenguaje claro sobre empleo, inversi\u00f3n, precios y financiaci\u00f3n.","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":"es","@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 es el fundador de DailyAI y un emprendedor afincado en Londres. Es cofundador de Kyro, socio de Ki y escribe sobre el impacto de la IA en los negocios, los mercados y la vida cotidiana.","sameAs":["https:\/\/www.linkedin.com\/in\/davidmerry\/"],"url":"https:\/\/dailyai.com\/es\/author\/davidmerry\/"}]}},"_links":{"self":[{"href":"https:\/\/dailyai.com\/es\/wp-json\/wp\/v2\/posts\/15324","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/dailyai.com\/es\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/dailyai.com\/es\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/dailyai.com\/es\/wp-json\/wp\/v2\/users\/16"}],"replies":[{"embeddable":true,"href":"https:\/\/dailyai.com\/es\/wp-json\/wp\/v2\/comments?post=15324"}],"version-history":[{"count":1,"href":"https:\/\/dailyai.com\/es\/wp-json\/wp\/v2\/posts\/15324\/revisions"}],"predecessor-version":[{"id":15436,"href":"https:\/\/dailyai.com\/es\/wp-json\/wp\/v2\/posts\/15324\/revisions\/15436"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/dailyai.com\/es\/wp-json\/wp\/v2\/media\/15435"}],"wp:attachment":[{"href":"https:\/\/dailyai.com\/es\/wp-json\/wp\/v2\/media?parent=15324"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/dailyai.com\/es\/wp-json\/wp\/v2\/categories?post=15324"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/dailyai.com\/es\/wp-json\/wp\/v2\/tags?post=15324"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}