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 hat