Desde un punto de vista superficial, este tipo de proyectos de verificación de IA parecen no tener ideas de rápida especulación. Pero los problemas subyacentes son lo suficientemente agudos: cuando la inteligencia artificial comienza a tomar decisiones por nosotros, ¿cómo podemos asegurarnos de que no cometa errores o haga trampas?

Una idea de proyecto es muy directa: abandonar los mecanismos de confianza y optar por pruebas verificables. Su enfoque consiste en escribir el proceso de razonamiento de la IA en la cadena de bloques y luego usar tecnología de pruebas de conocimiento cero para asegurar cada paso del cálculo. Esto no es para aparentar, sino para que cada decisión de la IA pueda ser rastreada y verificada.

En otras palabras, en lugar de hacer que los usuarios confíen ciegamente en que la IA sea honesta, es mejor que las matemáticas y la criptografía lo garanticen. Este enfoque aborda el problema de confianza más fundamental en la implementación práctica de la IA.