Viernes 30 de octubre de 2026 ·

&Truth recauda 70 millones de dólares para usar IA en verificar código con pruebas matemáticas

Relevancia 42 de 100

Útil para Inversores 50%

La startup &Truth ha anunciado 70 millones de dólares en financiación semilla para desarrollar herramientas de IA que verifiquen software mediante pruebas matemáticas. Su objetivo es reducir el tiempo y el trabajo que exige la verificación formal, que comprueba si el código cumple requisitos definidos con precisión. Quiere llegar a verificar programas escritos en cualquier lenguaje, aunque es una meta de desarrollo. Según WIRED, aún no está claro si la IA permitirá extender esta técnica más allá de los sistemas críticos.

Qué significa

Hoy la verificación formal se reserva sobre todo a sistemas críticos por su coste. Si la IA reduce ese trabajo, podría extenderse a otro software, aunque todavía no está claro hasta dónde llegará.

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 ->