Jueves 29 de octubre de 2026 ·

Chuyue Sun y la startup &Truth usan IA para verificar matemáticamente código, incluido parte de Signal

Relevancia 38 de 100

Útil para Programadores 70%CTO y tecnología 60%

La investigadora de Stanford Chuyue Sun y su equipo desarrollaron una herramienta de IA que completó un proyecto de ingeniería en menos de medio día por menos de 500 dólares, frente a cinco meses de tres expertos. Su trabajo usó IA para verificar parte del código de cifrado de la app de mensajería Signal. Sun se unió a la startup &Truth, que se presentó públicamente, cuyo científico jefe, Ilya Sergey, defiende aplicar la verificación formal al software como ya se hace en puentes y edificios.

Qué significa

La verificación formal, que demuestra con matemáticas que un programa no tiene fallos, podría dejar de ser un proceso caro y reservado a casos excepcionales.

Fuentes originales

Resumen de Hoy en IA. Pulsa una fuente para leer la noticia completa en su idioma original.

También ese día

Todas las noticias de IA del jueves 29 de octubre de 2026 ->