{"ok":true,"nota":{"id":"f6a301346a05e615","slug":"con-ayuda-de-la-inteligencia-artificial-verificar-programas-sin-errore-f6a301","titulo":"Con ayuda de la inteligencia artificial, verificar programas sin errores se vuelve posible a gran escala","resumen":"La empresa Anthropic publicó una investigación que muestra cómo los modelos de lenguaje ayudan a aplicar la verificación formal, un método matemático que demuestra que un programa funciona como debe. Según el texto, esto podría extenderse a sistemas mucho más grandes de lo que era viable hasta ahora.","fuente":"hackernews","fuenteNombre":"Hacker News","color":"#ff6600","autor":"johnbender","url":"https://www.anthropic.com/research/formal-verification","imagen":"/hoy/portada/f6a301346a05e615","tema":"tecnologia","subtemas":["inteligencia artificial","verificación formal","seguridad informática","modelos de lenguaje","errores de software"],"entidades":["Anthropic"],"formato":"dato","entretenimiento":false,"pubTs":"2026-10-22T22:54:43.000Z","indexTs":"2026-10-23T03:47:18.181Z","hash":"23c5b097a0f64dec59f1cf383aeedd0fb18b5bb07c8b7219dba0a945eb5d5f0f","tsa":{"time":"Oct 23 03:48:03 2026 GMT","provider":"freetsa.org","sobre":"sello"},"stats":{"views":0,"likes":0,"clicks":0,"dwell":0},"tipo":"motor","registro":"hallazgo","porQueImporta":"Hasta ahora, comprobar matemáticamente que un programa no tiene fallas era un trabajo lento y carísimo, reservado a proyectos muy críticos. Si la inteligencia artificial baja ese costo, los errores de software que hoy afectan bancos, sistemas de salud o servicios públicos podrían detectarse antes de llegar a la gente. Para un usuario argentino, eso puede traducirse en menos caídas de apps y menos fallas en sistemas que maneja el Estado. Pero que una empresa que vende inteligencia artificial sea quien lo anuncia obliga a leer el resultado con cierta distancia.","quienFirma":"Anthropic","confianza":"divulgacion","consulta":{"pregunta":"¿Confiarías en un programa verificado con IA?"}},"sello":{"hash":"23c5b097a0f64dec59f1cf383aeedd0fb18b5bb07c8b7219dba0a945eb5d5f0f","sello":"0de3989b958e393127d60574dccefa11c23eb9412cad6b5187f2656d993bc6c6","beacon":{"drand":{"cadena":"8990e7a9aaed2ffed73dbd7092123d6f289930540d7651336225dc172e51b2ce","ronda":6576541,"aleatorio":"e95a02f3f7df756991177c76ff9a942028584c59dbfef3d3893ee8c249ae0c74","tiempo":"2026-10-23T03:47:30.000Z"},"nist":{"cadena":2,"pulso":1995470,"salida":"A7B89BA684FCB4D9B9628FC2F6FFDD450DF7882E16ADEB1E116E1EDF59646ADE47BD52313B5484ABA04D369B3AE84DB8373C1F16E5746C8DE86AC110E7C378B7","tiempo":"2026-10-23T03:47:00.000Z"},"noAntes":"2026-10-23T03:47:30.000Z"},"verificacion":{"drand":true,"nist":true},"tsa":{"time":"Oct 23 03:48:03 2026 GMT","provider":"freetsa.org","sobre":"sello"},"original":{"titulo":"LLMs are making formal software verification feasible at a much larger scale","descripcion":"Article URL: https://www.anthropic.com/research/formal-verification Comments URL: https://news.ycombinator.com/item?id=50202217 Points: 184 # Comments: 92","pubDate":"Thu, 22 Oct 2026 22:54:43 +0000","url":"https://www.anthropic.com/research/formal-verification"},"indexado":"2026-10-23T03:47:18.181Z"}}