Anthropics Claude erstellt automatisch mathematische Korrektheitsnachweise für Software
🤖 KI-generierter Inhalt — Titel und Zusammenfassung wurden automatisch von künstlicher Intelligenz erstellt, ohne menschliche redaktionelle Prüfung.
Claude erzeugte in wenigen Wochen rund 180 Millionen Zeilen mathematischen Beweiscode für Programme aus 123 Open-Source-Bibliotheken des Google-Projekts OSS-Fuzz. Rocq prüfte die Nachweise automatisch. Dabei fand und behob Claude Hunderte Fehler, die herkömmliche Tests teils über Jahre übersehen hatten.
Weiter in der App — abstimmen & mitreden ➔Quelle: The Decoder (AI)