Anthropic und Theorem teilten am 22. Oktober 2026 mit, dass Claude laut Forschungsbeitrag von Anthropic dabei half, maschinell geprüfte Beweise für Absturzfreiheit für 239 OSS-Fuzz-Einstiegspunkte in 123 Open-Source-Bibliotheken zu erstellen.
Die Arbeit erfolgte auf Ebene des kompilierten RISC-V-Assemblers; die Beweise wurden von Rocq geprüft statt manuell begutachtet. Anthropic erklärt zudem, dass Claude während der Beweisversuche Fehler fand und behob, darunter Probleme, die Fuzzing trotz vorheriger Tests übersehen hatte.
Die Garantie ist enger gefasst, als die Überschrift vermuten lässt. Anthropics zentrale Behauptung zur Absturzfreiheit gilt für Eingaben unter 64 MB und hängt von genannten Annahmen ab, darunter Single-Threaded-Ausführung, statische RISC-V-Linux-Binärdateien und ein festes Speicherbudget. Das Ergebnis lässt sich daher nicht automatisch auf andere Architekturen oder nicht modellierte Codepfade übertragen.
Anthropic gibt an, einen Teil der Beweise und der Semantik öffentlich zu veröffentlichen, während Theorem die Pipeline für andere Open-Source-Projekte anbietet.