Desarrollador crea herramienta para verificar seguridad en código generado por IA
El desarrollador Reuben Brooks ha presentado Shen-Backpressure, una herramienta que implementa verificación formal para bucles de codificación con inteligencia artificial, priorizando la seguridad estructural sobre la mejora de la inteligencia de los agentes. El problema central que aborda es que lo
