14 episodios
02:43:14Habla: Francis Villatoro
↗
0:000:301:001:302:002:303:003:29

Francis Villatoro explica cómo IBM busca validar el funcionamiento de sus ordenadores cuánticos utilizando algoritmos basados en teoremas matemáticos.

…clásico te llega hasta 50 cúbics, estirando mucho, en casos muy concretos 60, 70 cúbics, pero 156 es imposible. Entonces es imposible verificar con un ordenador clásico si ese ordenador funciona o no funciona. Entonces IBM está muy interesada en ejecutar. Algoritmos que estén validados por cosas como un teorema matemático. Porque si yo tengo un algoritmo que estaba, digamos, fundamentado en un teorema matemático, pues eso le da soporte a mi idea de soy IBM y mi ordenador funciona. Que fijaros que el teorema PBR se acaba de simular en mi ordenador y ha funcionado; se cumple lo que dice el teorema con el algoritmo implementado en mi ordenador. Luego mi ordenador funciona, señores, funciona, porque es un teorema matemático; aquí no hay nadie que dude. Vosotros me diréis, pero ¿y por qué no se resuelve un problema de verdad? ¿por qué no se resuelve un problema de tipo NP en el que tú sepas de manera eficiente si la respuesta es correcta o no es correcta? Porque son ordenadores de juguete, porque están llenos de ruido, son ordenadores absolutamente ridículos, estamos…
Significado #1