Audit

Anthropic hat einem Team der Non-Profit-Organisation METR internen Zugang gewährt, um seine KI-Modelle und Sicherheitspraktiken zu überprüfen. Der Schritt ist Teil von Anthropics laufenden Bemühungen, eine externe Aufsicht über seine KI-Entwicklung zu ermöglichen.

KI-Sicherheit • The Decoder

Produktivität

Prüfen Sie den Kontext, den Ihr Codierungsagent an das LLM sendet, um sicherzustellen, dass nur notwendige Informationen enthalten sind, was Effizienz und Datenschutz verbessert.

Ein KI-gestützter Beweis für die optimale Packung von 11 Quadraten hat die formale Verifikation mit Lean bestanden. Der abgeschlossene EvolvingPrograms-Verifikationslauf akzeptierte alle 7.920 lokalen Lean-Module, wobei ein abschließendes Audit null Zulassungen meldete.

KI-Forschung • Hacker News