{"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\/de\/2026\/10\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\/","title":{"rendered":"Anthropic behauptet, Claude habe bewiesen, dass 123 Open-Source-Bibliotheken nicht abst\u00fcrzen k\u00f6nnen"},"content":{"rendered":"<p class=\"wp-block-paragraph\"><strong>Anthropic behauptet, Claude habe mathematisch bewiesen, dass der Fuzz-getestete Code in 123 Open-Source-Bibliotheken bei keiner Eingabe unter 64 MB abst\u00fcrzen k\u00f6nne, und dabei seien Fehler entdeckt worden, die jahrelange Tests \u00fcbersehen hatten.<\/strong><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Das Werk, <a href=\"https:\/\/www.anthropic.com\/research\/formal-verification\" target=\"_blank\" rel=\"noopener\">herausgegeben von <span class=\"noTranslate\" data-no-translation=\"\"><span class=\"noTranslate\" data-no-translation=\"\"><span class=\"noTranslate\" data-no-translation=\"\">Anthropic<\/span><\/span><\/span> am 22. Oktober<\/a> Mit dem Start-up Theorem, das sich auf formale Verifikation spezialisiert hat, werden 239 Einstiegspunkte aus Googles OSS-Fuzz-Projekt abgedeckt. Anthropic bezeichnet dies als den ersten gro\u00df angelegten Versuch, KI zur formalen Verifikation von Produktionssoftware auf Assembler-Code-Ebene einzusetzen.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Von Tests zu Beweisen<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">Beim Fuzzing werden unz\u00e4hlige zuf\u00e4llige Eingaben an ein Programm gesendet, um Fehlerquellen zu finden. Dabei k\u00f6nnen jedoch nie alle Eingaben getestet werden. Anthropic wandelte jeden bestehenden Fuzz-Test in eine formale Regel um: \u201cDieser Test f\u00fchrt niemals zu einem Absturz.\u201d Claude bewies, dass diese Regel f\u00fcr alle Eingaben unter 64 MB gilt.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Die Beweise basieren auf kompiliertem RISC-V-Maschinencode, nicht auf Quellcode. Innerhalb weniger Wochen schrieb Claude im Beweisassistenten Rocq etwa 180 Millionen Zeilen Beweise, was bei einem typischen Programm etwa 600.000 Zeilen entspricht. Kein Mensch muss sie lesen; der Rocq-Pr\u00fcfer best\u00e4tigt jeden einzelnen automatisch.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Fehlertests verpasst<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">Immer wenn ein Beweis fehlschlug, hatte Claude einen Fehler gefunden, ihn behoben und es erneut versucht. Laut Anthropic f\u00f6rderte diese Arbeit Hunderte von Fehlern zutage, darunter einen Speicherzugriffsfehler in einem Dekompressor, der nur bei Eingaben von etwa 20 MB mit einem seltenen Layout auftrat, sowie die Wiederentdeckung eines bekannten Fehlers im libexpat-XML-Parser.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">In separaten Tests bewies Claude, dass der zlib-Code des Linux-Kernels der Formatspezifikation entspricht. Bei der \u00dcberpr\u00fcfung eines weit verbreiteten PDF-Readers fand er innerhalb einer Woche so viele Sicherheitsl\u00fccken, wie \u00fcblicherweise in einem Jahr gemeldet werden. Details finden Sie in der [Referenz einf\u00fcgen]. <a href=\"https:\/\/www-cdn.anthropic.com\/files\/4zrzovbb\/website\/6867eadf760258fa8b42a504600cd3c036d16358.pdf\" target=\"_blank\" rel=\"noopener\">Technischer Anhang<\/a>.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Was es nicht beweist<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">Anthropic stellt ausdr\u00fccklich klar, dass \u201cformal verifiziert\u201d nicht fehlerfrei bedeutet. Die Beweise basieren auf der Annahme von statisch gelinkten, einstr\u00e4ngigen RISC-V-Bin\u00e4rdateien unter Linux, w\u00e4hrend die meisten realen Anwendungen auf x86 oder ARM laufen. Die verwendeten Speicherpr\u00fcfungen decken nicht alle Speichersicherheitsl\u00fccken auf, und nicht jeder Einstiegspunkt in jeder Bibliothek wurde abgedeckt.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Die Kosten sind der zweite Haken: Beweise k\u00f6nnen Hunderte Millionen Tokens ben\u00f6tigen. Laut Anthropic l\u00f6ste Claude Opus 5.5 die H\u00e4lfte eines Benchmarks mit 36 Aufgaben mit etwa 40% weniger Tokens als Opus 5, und Agenten, die Beweise teilten, verbrauchten 17% weniger Tokens.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Warum es wichtig ist<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">KI wird immer besser darin, Fehler zu finden, wie die <a href=\"https:\/\/dailyai.com\/de\/2026\/10\/ai-helped-find-php2shell-and-the-disclosure-plan-still-broke-down\/\">PHP2Shell-Schwachstellen<\/a> Diese Woche wurde gezeigt, dass Beweise dazu dienen, zu zeigen, dass ganze Klassen von Fehlern schlichtweg nicht existieren. Theorem hat eine ver\u00f6ffentlicht. <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> F\u00e4higkeit<\/a> f\u00fcr Open-Source-Entwickler, die ihre Projekte anmelden m\u00f6chten, und es <a href=\"https:\/\/theorem.dev\/blog\/verified-software-stack\/\" target=\"_blank\" rel=\"noopener\">Sch\u00e4tzungen<\/a> dass 95% des Maschinencodes im Nix-Software-\u00d6kosystem bis Ende 2027 f\u00fcr etwa $134 Millionen verifiziert werden k\u00f6nnten.<\/p>","protected":false},"excerpt":{"rendered":"<p>Anthropic und Theorem nutzten Claude, um 180 Millionen Zeilen maschinell gepr\u00fcfter Beweise zu schreiben, die zeigen, dass Fuzz-getesteter Code in 123 Open-Source-Bibliotheken nicht abst\u00fcrzen kann, und entdeckten dabei lange verborgene Fehler.<\/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\/de\/2026\/10\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\/\" \/>\n<meta property=\"og:locale\" content=\"de_DE\" \/>\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\/de\/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=\"Verfasst von\" \/>\n\t<meta name=\"twitter:data1\" content=\"David Merry\" \/>\n\t<meta name=\"twitter:label2\" content=\"Gesch\u00e4tzte Lesezeit\" \/>\n\t<meta name=\"twitter:data2\" content=\"2\u00a0Minuten\" \/>\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\":\"de\",\"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\":\"de\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"de\",\"@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\":\"de\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/#organization\",\"name\":\"DailyAI\",\"url\":\"https:\\\/\\\/dailyai.com\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"de\",\"@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\":\"de\",\"@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\\\/de\\\/author\\\/davidmerry\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Claude Formale Verifikation: 123 Bibliotheken nachweislich absturzfrei | DailyAI","description":"Anthropic nutzte die formale Verifikation Claude, um zu beweisen, dass der Code in 123 Open-Source-Bibliotheken bei Eingaben unter 64 MB nicht abst\u00fcrzen kann, und fand dabei Fehler, die jahrelanges Fuzzing \u00fcbersehen hatte.","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\/de\/2026\/10\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\/","og_locale":"de_DE","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\/de\/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":{"Verfasst von":"David Merry","Gesch\u00e4tzte Lesezeit":"2\u00a0Minuten"},"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":"de","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 Formale Verifikation: 123 Bibliotheken nachweislich absturzfrei | 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 nutzte die formale Verifikation Claude, um zu beweisen, dass der Code in 123 Open-Source-Bibliotheken bei Eingaben unter 64 MB nicht abst\u00fcrzen kann, und fand dabei Fehler, die jahrelanges Fuzzing \u00fcbersehen hatte.","breadcrumb":{"@id":"https:\/\/dailyai.com\/2026\/10\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\/#breadcrumb"},"inLanguage":"de","potentialAction":[{"@type":"ReadAction","target":["https:\/\/dailyai.com\/2026\/10\/anthropic-says-claude-proved-123-open-source-libraries-cant-crash\/"]}]},{"@type":"ImageObject","inLanguage":"de","@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":"Die KI-Wirtschaft, vermessen.","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":"de"},{"@type":"Organization","@id":"https:\/\/dailyai.com\/#organization","name":"DailyAI","url":"https:\/\/dailyai.com\/","logo":{"@type":"ImageObject","inLanguage":"de","@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 erfasst die KI-Wirtschaft in Zahlen: Daten-Tracker, Analysen und verst\u00e4ndliche Nachrichten zu Jobs, Ausgaben, Preisen und Finanzierung.","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":"de","@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 ist Gr\u00fcnder von DailyAI und ein in London ans\u00e4ssiger Unternehmer. Er ist Mitgr\u00fcnder von Kyro, Partner bei Ki und schreibt \u00fcber die Auswirkungen von KI auf Wirtschaft, M\u00e4rkte und den Alltag.","sameAs":["https:\/\/www.linkedin.com\/in\/davidmerry\/"],"url":"https:\/\/dailyai.com\/de\/author\/davidmerry\/"}]}},"_links":{"self":[{"href":"https:\/\/dailyai.com\/de\/wp-json\/wp\/v2\/posts\/15324","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/dailyai.com\/de\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/dailyai.com\/de\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/dailyai.com\/de\/wp-json\/wp\/v2\/users\/16"}],"replies":[{"embeddable":true,"href":"https:\/\/dailyai.com\/de\/wp-json\/wp\/v2\/comments?post=15324"}],"version-history":[{"count":1,"href":"https:\/\/dailyai.com\/de\/wp-json\/wp\/v2\/posts\/15324\/revisions"}],"predecessor-version":[{"id":15436,"href":"https:\/\/dailyai.com\/de\/wp-json\/wp\/v2\/posts\/15324\/revisions\/15436"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/dailyai.com\/de\/wp-json\/wp\/v2\/media\/15435"}],"wp:attachment":[{"href":"https:\/\/dailyai.com\/de\/wp-json\/wp\/v2\/media?parent=15324"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/dailyai.com\/de\/wp-json\/wp\/v2\/categories?post=15324"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/dailyai.com\/de\/wp-json\/wp\/v2\/tags?post=15324"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}