La mayoría de las afirmaciones sobre la aceleración cuántica dependen de oráculos que existen solo en papel, un problema que este curso aborda enseñando a construir circuitos cuánticos prácticos desde cero. Dirigido a profesionales e investigadores con conocimiento previo de cúbits y puertas controladas, el programa se centra en la ingeniería del oráculo, eliminando la suposición teórica habitual en la literatura científica.
El contenido técnico cubre doce lecciones estructuradas en dos sesiones presenciales de 90 minutos cada una. La primera sesión identifica problemas aptos para aceleración cuántica y analiza el speedup de Monte Carlo, desmontando mitos sobre sus limitaciones prácticas. La segunda sesión se dedica a la construcción del oráculo de despliegue, abordando desafíos críticos como la reversibilidad por diseño, la gestión de memoria (garbage collection) y las convenciones de llamada para cúbits.
El curso enfatiza la corrección y verificación mediante circuitos con prueba incorporada, evitando errores sutiles como fases ocultas que evaden las tablas de verdad. Además, introduce métodos de auditoría empírica para validar afirmaciones cuánticas sin necesidad de laboratorios complejos, utilizando pruebas de mesa que penalizan exponencialmente a las implementaciones fraudulentas. El objetivo final es proporcionar herramientas para evaluar críticamente los próximos anuncios de 'milagros' en la intersección entre IA y computación cuántica, basándose en cálculos de tiempo real en lugar de intuiciones.
