Viernes 30 de octubre de 2026 ·

&Truth levanta 70 millones de dólares en semilla para verificar matemáticamente código de cualquier lenguaje

Relevancia 38 de 100

Útil para Programadores 60%Inversores 55%CTO y tecnología 55%

&Truth, una empresa de beneficio público que sale de su fase discreta, anunció 70 millones de dólares de financiación inicial. Quiere construir una máquina universal que demuestre matemáticamente que el código es seguro, protegido y correcto, con pruebas que cualquiera puede comprobar. Se basa en Lean y afirma que su automatización reduce la generación de pruebas de años o meses a horas o minutos.

Qué significa

Las empresas de software podrían comprobar la seguridad de su código con pruebas independientes, en lugar de depender de pruebas internas o de las garantías de sus proveedores.

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 viernes 30 de octubre de 2026 ->