The Decoder· Matthias Bastian·· vor 3 StundenKI-Bewertung70
Anthropic lässt Claude bestehenden Programmcode mathematisch prüfen
Anthropic's Claude now writes code and proves it safe automatically
KI-Überblick
Anthropic hat Claude eingesetzt, um bestehenden Programmcode mathematisch auf Fehler zu prüfen. Das Modell untersuchte Testprogramme aus 123 Open-Source-Bibliotheken。
Quelle:The Decoder · the-decoder.com