Nachschlagen·Quellenregister

Originalarbeiterreichbar

LLMs are making formal software verification feasible at a much larger scale (Anthropic, Frontier Red Team, 22. Oktober 2026)

anthropic.com (externe Seite)

Forschungsbeitrag von Anthropic mit den Zahlen zu Beweisumfang, Bibliotheken, gefundenen Fehlern und dem Vergleich mit seL4.

geprüft 10.11.2026

Anthropic lässt Claude für 123 Open-Source-Bibliotheken rund 180 Millionen Zeilen Korrektheitsbeweise erzeugen und findet dabei Hunderte Fehler

Alle Quellen