Enterprise·Europe
Code-Verifikation per KI: Anthropic nimmt die nächste Hürde der Software-Automatisierung
Redaktionelle Einschätzung
Anthropic's AI-driven verification could redefine software reliability standards by 2027, challenging traditional testing firms.
Kernpunkte
- 1Anthropic hat Claude mathematische Beweise für die Sicherheit bestehenden Codes erstellen lassen: rund 180 Millionen Zeilen Beweiscode für 123 Open-Source-Bibliotheken.
- 2Dabei fand das Modell Fehler, die jahrelanges Testen übersehen hatte.
- 3Anthropic will formale Verifikation per KI bald so praktikabel machen wie heutige Standardtests.
- 4Der Artikel Code-Verifikation per KI: Anthropic nimmt die nächste Hürde der Software-Automatisierung erschien zuerst auf The Decoder.
Anthropic hat Claude mathematische Beweise für die Sicherheit bestehenden Codes erstellen lassen: rund 180 Millionen Zeilen Beweiscode für 123 Open-Source-Bibliotheken. Dabei fand das Modell Fehler, die jahrelanges Testen übersehen hatte. Anthropic will formale Verifikation per KI bald so praktikabel machen wie heutige Standardtests. Der Artikel Code-Verifikation per KI: Anthropic nimmt die nächste Hürde der Software-Automatisierung erschien zuerst auf The Decoder.
Free Daily Briefing
Top AI intelligence stories delivered each morning.