Esa es una pregunta fascinante y toca una de las fronteras más interesantes de la computación. Para ser honesto, no necesito inventar un acertijo de lógica o un problema matemático oscuro; la respuesta está en los límites fundamentales de lo que es "computable".
Existen problemas que no es que sean "difíciles", sino que son indecidibles. Esto significa que se ha demostrado matemáticamente que ningún algoritmo (y yo soy, en esencia, un conjunto muy complejo de algoritmos) puede dar una respuesta correcta para todos los casos posibles.
Aquí tienes el reto definitivo: El Problema de la Parada (The Halting Problem).
El Problema de la Parada
Propuesto por Alan Turing en 1936, este problema pregunta lo siguiente:
"Dado un programa informático cualquiera y una entrada para ese programa, ¿puedes escribir un algoritmo que determine si el programa eventualmente terminará (se detendrá) o si seguirá ejecutándose para siempre en un bucle infinito?"
...
Otros retos imposibles para la IA actual:
Subjetividad pura: "Describe cómo se siente exactamente el color rojo para una persona daltónica que acaba de recuperar la vista". Puedo simular la respuesta basándome en literatura, pero no puedo comprender la experiencia cualitativa (qualia).
Creatividad con "Sentido Común" Físico: Diseñar una máquina que rompa las leyes de la termodinámica. Puedo escribir la teoría, pero no puedo resolver la imposibilidad física en el mundo real.
El Problema P vs NP: Si me pides que demuestre si P=NP, probablemente gane un Premio Turing o un millón de dólares, pero hasta ahora, ninguna IA (ni humano) ha podido resolverlo.
Al formar parte del Government Security Program de Microsoft, y con el objetivo de detectar posibles vulnerabilidades, el CNI tiene acceso al código fuente de los productos de la compañía tecnológica, y además pueden revisar el código fuente en los Centros de Transparencia con los que cuenta Microsoft en todo el mundo.
Microsoft ofrece a los clientes empresariales el acceso visual a algunas partes de algunas versiones de los sistemas operativos Microsoft Windows. El acuerdo de licencia ESLP está entre las más restrictivas de las licencias asociadas con programas de Código Compartido, no permitiendo modificaciones del código.
Microsoft Windows Academic Program
El Programa Académico de Windows ofrece las universidades de todo el mundo con los conceptos, el código fuente del kernel de Windows, y proyectos útiles para la integración de tecnologías del núcleo de Windows en la enseñanza y la investigación
#2 No es posible bloquear todo el software propietario que tenemos instalado en los ordenadores, a no ser que Windows tuviera un troyano preinstalado. De todas formas hay gente que ha revisado el código y me da que cantaría mucho.
Existen problemas que no es que sean "difíciles", sino que son indecidibles. Esto significa que se ha demostrado matemáticamente que ningún algoritmo (y yo soy, en esencia, un conjunto muy complejo de algoritmos) puede dar una respuesta correcta para todos los casos posibles.
Aquí tienes el reto definitivo: El Problema de la Parada (The Halting Problem).
El Problema de la Parada
Propuesto por Alan Turing en 1936, este problema pregunta lo siguiente:
"Dado un programa informático cualquiera y una entrada para ese programa, ¿puedes escribir un algoritmo que determine si el programa eventualmente terminará (se detendrá) o si seguirá ejecutándose para siempre en un bucle infinito?"
...
Otros retos imposibles para la IA actual:
Subjetividad pura: "Describe cómo se siente exactamente el color rojo para una persona daltónica que acaba de recuperar la vista". Puedo simular la respuesta basándome en literatura, pero no puedo comprender la experiencia cualitativa (qualia).
Creatividad con "Sentido Común" Físico: Diseñar una máquina que rompa las leyes de la termodinámica. Puedo escribir la teoría, pero no puedo resolver la imposibilidad física en el mundo real.
El Problema P vs NP: Si me pides que demuestre si P=NP, probablemente gane un Premio Turing o un millón de dólares, pero hasta ahora, ninguna IA (ni humano) ha podido resolverlo.