Auditoria

Anthropic ha dado a un equipo de la organización sin fines de lucro METR acceso interno para revisar sus modelos de IA y prácticas de seguridad. La medida es parte de los esfuerzos continuos de Anthropic para proporcionar supervisión externa de su desarrollo de IA.

Seguridad de IA • The Decoder

Una prueba asistida por IA para el empaquetado óptimo de 11 cuadrados ha pasado la verificación formal con Lean. La ejecución de verificación de EvolvingPrograms completada aceptó los 7,920 módulos Lean locales, con una auditoría final que reportó cero admisiones.

Investigación de IA • Hacker News