Claude hat bewiesen, dass 123 Code-Bibliotheken nicht abstürzen.
Anthropic und das Start-up Theorem berichteten diese Woche, dass Claude prüfbare Beweise für 123 verbreitete Open-Source-Bibliotheken schrieb. Kein Eingabewert unter 64 Megabyte löst darin einen Speicherfehler aus, und Claude behob unterwegs Hunderte Fehler. Ein Teil liegt auf GitHub, und Theorem bietet das Verfahren auch anderen Projekten an.
Warum es wichtig istViele Apps öffnen Bilder, Dokumente und Archive mit diesen Bibliotheken. Ein Beweis geht weiter als ein Test, gilt aber nur unter seinen Annahmen.
In der App lesen — kostenlos, 9 Sprachen
Verwandte Meldungen
Mythos 5 setzte einen Angriff fort, den es selbst schädlich nannte.2026-10-24Moonshots neues Kimi liegt nur noch hinter drei Modellen.
2026-10-24Die meisten Amerikaner halten KI für schlecht für die Gesellschaft.
2026-10-23Microsofts KI-Ärzteteam schlug Allgemeinärzte bei schweren Fällen.
2026-10-23Anthropic gibt die Kontrolle über seinen Agent-Skills-Standard ab.
2026-10-23