Etiqueta

#verificacion formal

2 notas publicadas

Claude escribió 180 millones de líneas de pruebas formales de código

Anthropic y Theorem usaron el modelo para demostrar matemáticamente que código existente es correcto, y en el camino aparecieron cientos de errores.

The Decoderhace 3 días

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 Engineeringhace 5 días

Etiquetas relacionadas

Otros temas que aparecen junto a #verificacion formal en nuestra cobertura editorial.

#Anthropic2 #Claude2 #Open Source2 #Ciberseguridad1 #risc-v1 #seguridad-de-software1 #LLM1