← FirmaRED HoyFirmar un documento
Consulta · firmá tu postura
¿Confiarías en un programa verificado con IA?
¿Qué es esto?Es un juego: tu firma suma a un conteo público y los totales se sellan cada hora. ¿Tenés que firmar algo en serio, con validez? Acá se firma con sello y anclaje.
firmared.com · hoy✍ consulta abierta
Hacker News · johnbender

Con ayuda de la inteligencia artificial, verificar programas sin errores se vuelve posible a gran escala

✓ sellado · 22 de octubre de 2026 a las 10:54 p. m. · tecnologia
Por qué importa

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.

AnthropicDivulgación

Ver el trabajo original en Hacker News ↗

Sellada entre las 00:47:30 (drand #6576541 · NIST #1995470) y las 00:48:03 (RFC 3161) · verificar sello
Dónde se ve esto
Bancos y billeteras digitales usan IA para leer alias escritos a mano y agilizar reclamos
Infobae
Yelp lanzará un asistente de IA que llama a restaurantes para consultar el tiempo de espera
Infobae