Verificación formal
Claude verifica formalmente la ausencia de fallos de memoria en 123 bibliotecas de código abierto
Según informó anthropic.com, el modelo Claude generó pruebas matemáticas sobre el código de 123 bibliotecas abiertas y detectó errores que habían pasado inadvertidos durante años. La compañía sostiene que este enfoque podría volverse una parte central del desarrollo seguro de software.
Por Redacción PicoTecno|