Open Source
Jeden Tag lesen wir Hunderte Meldungen. Hier stehen nur die wichtigsten — kurz, in eigenen Worten, mit Link zur Originalquelle.
1 Nachrichten
- Künstliche Intelligenz · Programmierung · Open Source · Neue KI-Modelle
Claude erstellt automatisch Korrektheitsbeweise für Code
Anthropic ließ sein Modell Claude mathematische Beweise für die Korrektheit von Code in 123 Open-Source-Bibliotheken erzeugen, rund 180 Millionen Zeilen Beweis-Code. Dabei entdeckte das Modell Fehler, die jahrelange Tests übersehen hatten.
Ganze Meldung bei The Decoder ↗
Die Kurztexte schreibt eine KI aus den Meldungen der Quelle.
Kostenlos per E-Mail
Wählen Sie Ihre Themen. Sie bekommen nur die wichtigsten Nachrichten dazu.