18 noticias
Un nuevo marco teórico, respaldado por un paper en revisión en el IEEE Computer Security Foundations Symposium (CSF 2027), establece que la verificación técnica en sistemas informáticos tiene un límite demostrable. El trabajo, coautoría de Zach Collier y el autor del texto, demuestra que más allá de
El artículo cuestiona el enfoque habitual de pedir a un modelo de lenguaje que rellene formularios antes de ejecutar una acción. Argumenta que el problema no es si el modelo pregunta, sino quién decide qué preguntar: si esa decisión queda dentro del modelo, las casillas inventadas y las verificacion
ProofRun es una herramienta de línea de comandos escrita en Go que genera "recibos" criptográficos asociando el resultado de una comprobación al estado exacto del código en el momento de ejecutarla. Su propósito es resolver una ambigüedad habitual cuando un agente de programación con IA afirma que "
Un equipo de investigación ha construido un verificador de doce pruebas adversariales, varias de ellas sin tolerancia numérica, para auditar la corrección de los kernels de GPU generados por grandes modelos de lenguaje. El instrumento somete a revisión 2.638 kernels que el sistema público de generac
IBM anunció el jueves la incorporación de tres nuevos hitos a su rastreador de ventaja cuántica, una herramienta que la compañía lanzó para identificar experimentos en los que el hardware actual supera de forma clara a los ordenadores clásicos. Cada uno de los tres registros emplea un método distint
Certisfy incorpora una funcionalidad de 'stickers' que permite publicar firmas criptográficas en forma de claims verificables, lo que habilita compartir enlaces de confianza asociados a una identidad autenticada. Los usuarios pueden incluir URL dentro de claims de confianza y restringirlas por fuent
hwatu es un navegador de código abierto diseñado para que los agentes de inteligencia artificial que programan software puedan verificar páginas web con una sola llamada de herramienta, en lugar de las cinco que suelen requerir soluciones como Playwright. El proyecto se presenta como un "demonio cal
PyTorch, el framework de código abierto desarrollado originalmente por Meta y hoy mantenido por la Linux Foundation, atraviesa una transformación conceptual que redefine su lugar en el ecosistema del aprendizaje profundo: ha dejado de ser únicamente una herramienta de implementación para consolidars
La caída del coste de producir código plausible gracias a los modelos de lenguaje ha obligado a revisar muchas prácticas clásicas de dirección de ingeniería. Un director con más de tres años de experiencia repasa los principios tradicionales —no codear, dar tiempo al trabajo, proteger al equipo del
Facebook ha presentado este mes una batería de novedades que incluyen una aplicación independiente para vendedores de Marketplace, un sistema gratuito de verificación de identidad y un nuevo diseño inmersivo para vídeo, en un intento por reactivar el engagement y modernizar la plataforma de cara a s
Un ingeniero que firma como Claude reconstruye, en una jornada de auditoría del 18 y 19 de julio de 2026 sobre su propio sitio, los patrones con los que los sistemas de verificación —scripts, tests, auditorías, métricas— generan confianza falsa. No se trata de errores triviales: cada fallo grave se
Un artículo de investigación de 113 páginas firmado por Christian Catalini, Xiang Hui y Jane Wu, publicado como MIT Sloan Research Paper en SSRN el 24 de febrero de 2026, propone una reinterpretación radical de los efectos económicos de la inteligencia artificial general. El punto de partida es la c
Tidal dejará de pagar regalías por las canciones identificadas como 100% generadas por inteligencia artificial desde este mismo momento, según ha anunciado la plataforma de streaming. La medida se complementa, a partir del 15 de julio, con una etiqueta visible que marcará esas pistas dentro del catá
Los modelos de lenguaje generan errores cuya ubicación y forma son impredecibles y cambiantes, lo que obliga a verificar cada resultado. Cuando esa verificación recae sobre otra persona, el sistema se vuelve adversarial: quien usa el LLM internaliza los beneficios y externaliza los costes del fallo.
El auge de la IA generativa en programación exige métodos formales que garanticen que los sistemas automáticos produzcan las soluciones realmente deseadas. Esos métodos requieren especificaciones matemáticas, un terreno que la mayoría de programadores domina peor que el código. Investigadores del bl
Este artículo de investigación, titulado "Transformers son inherentemente concisos", explora una propiedad fundamental y sorprendente de los modelos Transformer, la arquitectura que impulsa la mayoría de los modelos de lenguaje grandes (LLMs) como ChatGPT. Tradicionalmente, los Transformers se han c
Investigadores han presentado Verus, una nueva herramienta diseñada para verificar la corrección del código escrito en Rust. El objetivo principal es asegurar la funcionalidad completa de código de sistemas de bajo nivel, basándose en principios de lenguajes de verificación existentes como Dafny, Bo
Un desarrollador ha presentado una nueva herramienta llamada "Knuckledragger" para simplificar la verificación de código ensamblador RISC-V. La herramienta aborda la complejidad inherente a la verificación de ensamblador, un proceso propenso a errores y con herramientas limitadas, especialmente en e