LLMs machen die formale Softwareverifikation in deutlich größerem Maßstab möglich
Anthropic hat Claude genutzt, um innerhalb weniger Wochen Sicherheitseigenschaften in über hundert echten Open-Source-Bibliotheken zu beweisen – mit maschinell geprüften Absturzfreiheits-Beweisen bis auf Assembler-Ebene – und dabei jahrelang verborgene Bugs aufgedeckt. Formale Verifikation war zuvor nur für kleine Codebasen machbar. Das ist wichtig, weil es zeigt, dass KI Garantien mathematischer Korrektheit in die Open-Source-Lieferkette bringen kann – in einem Maßstab, den Menschen allein nie erreichen.
QUELLEN
- Anthropic Research2026-10-22 00:00
- Anthropic2026-10-22 22:01