Todas las noticias etiquetadas como #verificacion en Pulso. Reescritas con asistencia de IA a partir de fuentes públicas.
Un navegador de verificación para agentes de IA.
Se ha implementado la primera geometría sólida constructiva 3D verificada formalmente: la intersección de mallas, implementada en Lean 4 y verificada contra una especificación conc
Se actualiza Ruff, herramienta de verificación de Python
Se presenta Forall, una herramienta de código AI que utiliza verificación formal para garantizar la corrección de los programas