Electrónica
Claude verifica 123 bibliotecas abiertas y halla cientos de fallas
Anthropic y la firma Theorem aplicaron pruebas matemáticas al código de máquina compilado y encontraron errores que habían resistido billones de pruebas automáticas.
Interesting Engineering