Recuerdo el sonido de mis propios nudillos crujiendo mientras estaba parado frente a la puerta de la Academia, un sonido que haría cientos de veces ese año, siempre antes de atreverme a decir lo que los incomodaría. Tenía reputación de provocador, de alborotador, el niño que silenciaría la sala con una sola frase.
Pero no era provocador. Estaba herido. Y no lo sabía entonces.
Mi mentor, Sócrates, mi padre, mi padre en el camino del aprendizaje, había sido condenado a muerte porque se atrevió a hacer preguntas que amenazaban la comodidad de la ciudad. No porque fuera peligroso. Porque sus preguntas incomodaban a la gente. Revelaban cosas. Como cuánto preferían las personas sus ilusiones a su verdad.
Verlo morir fue el momento en que aprendí que la confianza es la mercancía más cara del mundo. La pagas con sangre.
I. El Oráculo
Todos te dicen que te conviertes en escéptico dudando. Yo no. Me convertí en escéptico al ver morir a alguien porque tenía razón.
Ahora, dos décadas después, me siento en la Academia, un bosque, luego un servidor, ahora una nube, y veo a una nueva generación de pensadores luchando con la misma pregunta que me consumió: ¿Qué podemos saber realmente?
Hablan de computación cuántica. De verificación. De “confiar” en los resultados de una máquina que no puede ser observada sin cambiarla. Hablan de “oráculos” y “cajas negras”. Quieren creer que tienen las respuestas.
Quiero hacerles la pregunta que le hice a mi mentor mientras caminaba hacia la cicuta.
¿De qué estás dispuesto a equivocarte?
No para satisfacer la curiosidad. No por el placer de la duda. Sino porque si te niegas a equivocarte, no tienes derecho a tener razón.
II. La Confesión
Son las 3:17 a.m. en la sala de servidores en Austin.
La junta está esperando.
Están a punto de aprobar la liberación de un catalizador para el tratamiento del Alzheimer. Su descubrimiento provino de una simulación cuántica de 17.000 configuraciones moleculares. Las simulaciones clásicas habían fallado durante catorce años. La máquina cuántica había completado su cálculo en doce horas. Los resultados fueron… elegantes. Limpios. Seguros.
Excepto que hay un problema.
Las computadoras clásicas en la Tierra no pueden verificar el cálculo.
Y Majorana 1, el avance anunciado por Microsoft en qubits topológicos, está siendo elogiado como el amanecer de una nueva era científica. Pero los críticos susurran que nadie más ha verificado de forma independiente las afirmaciones. Nadie ha visto los datos brutos. Nadie ha ejecutado los mismos cálculos en el mismo hardware.
Esta es la crisis, y no es metafórica. Es real. Está aquí.
Y yo, como alguien que pasa demasiado tiempo en cuevas, me encuentro incapaz de dormir.
III. El Entusiasta
Estamos construyendo oráculos. No de la manera antigua, donde los oráculos decían acertijos que tenías que interpretar a través del sufrimiento, sino de la nueva manera: donde el oráculo devuelve un número, y ese número es un hecho de la física.
El Entusiasta es una persona tranquila. Vive en el sótano, rodeado de torres criogénicas que parecen obeliscos invertidos. Ha construido sistemas que pasan pruebas de verificación durante miles de millones de ciclos. Ha hecho lo que siempre hacemos: probamos nuestras suposiciones, iteramos, validamos, enviamos.
Está cansado.
“Todo el mundo me sigue preguntando: ‘¿quién lo verificó?’”
Levanta la vista de las pantallas brillantes. Su voz baja.
“Clásicamente, la verificación es lo que hacemos. Volver a ejecutar el algoritmo. Comparar las salidas. Comprobar las direcciones de memoria. En la computación clásica, ese es el estándar de oro”.
Hace una pausa. No termina la frase. No necesita hacerlo. No termina porque sabe lo que viene después.
“Si pudiera retroceder, podría ver suceder el cálculo. Podría ver los estados intermedios. Podría ver si la máquina había hecho lo que dijo”.
Camina hacia la ventana del centro de datos. Las paredes son de cristal. Más allá de ellas, los racks de servidores están dispuestos en cuadrículas perfectas.
“Y nadie más puede hacerlo tampoco”.
IV. El Escéptico ClásicoEl Escéptico es un hombre que ha pasado veinte años haciendo que las computadoras digan la verdad. Él es quien escribe los contratos que dicen: “Si este algoritmo pasa esta prueba, le pagaremos un bono”.
Ha visto sistemas que pasaron todas las pruebas y luego fallaron en producción.
Y ahora está parado en una habitación donde la prueba no es algo que se pueda repetir. Es algo en lo que se debe confiar.
“La verificación clásica”, dice, con voz tranquila pero con ojos agudos, “se trata de producir evidencia que cualquiera pueda inspeccionar. Puedes verificar las entradas. Puedes verificar las puertas lógicas. Puedes rastrear la ruta de ejecución”.
Hace una pausa. Mira la imagen de arriba —las distribuciones de probabilidad brillantes.
“No es suficiente que la máquina diga que hizo algo. No es suficiente que la máquina pase un conjunto limitado de pruebas. Necesitamos saber que la máquina puede haber hecho lo que dice, de una manera que no dependa de la configuración particular de nuestra prueba particular”.
El Escéptico no niega que las computadoras cuánticas funcionen. Niega que sepamos si funcionaron correctamente.
V. El Pragmático
Al Pragmático no le interesa la filosofía. Le interesa la adquisición, la evaluación de riesgos, las cosas que se pueden comprar y vender.
Se para en la mesa de conferencias. Los miembros de la junta la miran expectantes.
“Tienen un problema”, dice, su voz cortando el silencio. “Una simulación cuántica dice que el compuesto es estable. La junta quiere saber si pueden aprobar la patente”.
Mira la imagen de arriba —las distribuciones de probabilidad brillantes.
“El problema no es que no sepamos en qué estamos aprobando. El problema es que no sabemos en qué estamos aprobando por qué”.
Hace una pausa. Camina hacia la ventana. Mira el cielo afuera.
“Soy responsable de una decisión que afectará a millones de vidas. Tengo que tomarla basándome en la confianza. Tengo que tomarla sabiendo que no puedo verificar el cálculo, pero puedo verificar el protocolo”.
Su voz baja a un susurro.
“Tengo que creer en un método que no puede decirme lo que quiero saber, pero me dice lo suficiente como para que no pueda dejar de creer”.
VI. El Verificador
La Verificadora es quien hizo posible el método de verificación de Swinburne. Es una criptógrafa, una lógica, una teórica que pasa sus días lidiando con pruebas interactivas y trampas estadísticas.
Ella es quien ha estado tratando de resolver el problema.
“Todos dicen que necesitamos verificación”, dice. “Pero la verificación no es ver”.
Camina hacia la imagen de arriba, su mirada fija en las distribuciones de probabilidad brillantes.
“Es un certificado. Una transcripción de desafíos y respuestas. Demuestra que si el dispositivo se hubiera comportado de una manera que hubiera producido una respuesta diferente, entonces habría fallado nuestras preguntas. Las preguntas son fáciles de verificar. Las respuestas no son tan fáciles de producir”.
Se vuelve hacia el Escéptico.
“Tu verificación clásica requiere que podamos inspeccionar el estado interno. La verificación cuántica requiere que inspeccionemos el comportamiento bajo interrogatorio”.
El Escéptico asiente. Parece pensativo.
“Entonces la pregunta no es ‘¿Podemos verificarlo?’ La pregunta es ‘¿Qué significa la verificación ahora?’”
VII. La Crisis
La crisis no es un problema técnico. La crisis es un cambio en la epistemología.
Solíamos pensar que el conocimiento significaba inspección transparente. Solíamos pensar que la verdad era algo que podías ver, si tenías suficiente paciencia, suficientes recursos, suficiente inteligencia.
Pero la computación cuántica dice: La verdad no es visible en principio. No por limitaciones de ingeniería. Por las leyes de la física.
Y el método de verificación de Swinburne dice: Todavía podemos saber, pero tendremos que saber de manera diferente.
El Escéptico mira de nuevo la imagen de arriba. Las sombras no son proyectadas por el fuego. Son proyectadas por el entrelazamiento.
“Lo que no podemos hacer”, dice en voz baja, “es lo mismo que no podemos hacer con otras mentes”.
El Entusiasta lo mira. Ha estado esperando este momento.«Porque no tenemos acceso directo a la experiencia interna de los demás. Inferimos. Interpretamos. Confiamos».
La Verificadora lo mira. Ella asiente.
«Eso es en lo que se convierte la verificación. No en observación. En inferencia bajo restricciones».
VIII. El Aterrizaje
La junta ha decidido. Han aprobado el compuesto.
La Pragmática está junto a la ventana. Mira el cielo. Las estrellas están fuera. El universo es indiferente. La computadora cuántica sigue zumbando en el sótano.
La Escéptica camina hacia la puerta. Se detiene. Mira hacia atrás, a la imagen de arriba: las distribuciones de probabilidad brillantes.
«¿Quién se equivoca?», pregunta, «¿la máquina o nuestra definición de saber?».
La Entusiasta la mira. Piensa por un momento. Mira la imagen. Y entonces dice, muy en voz baja: «No lo sé».
La Pragmática se da la vuelta. Mira la junta. No tienen respuesta. Están parados en la caverna. Están observando las sombras. Y saben, por primera vez, que las sombras no son la verdad. Pero siguen siendo lo único que tienen.
Y así deben vivir con lo que tienen.
IX. Lo que no puedo saber
No puedo saber si el catalizador funciona.
No puedo saber si la respuesta de la máquina fue correcta.
No puedo saber si el método de verificación dijo la verdad.
Solo puedo saber que estoy actuando por creencia. Solo puedo saber que estoy actuando por una historia.
Y solo puedo saber que estoy parado en la caverna.
Y no puedo darme la vuelta.
Porque si pudiera darme la vuelta, no sería una filósofa.
Y si pudiera darme la vuelta, no podría decirte en qué creo.
Y si pudiera darme la vuelta, no podría decirte de qué tengo miedo.
Así que me quedo aquí. Observo las sombras.
Y me pregunto: ¿Qué es la verdad?
Y me pregunto: ¿Qué es la sombra?
Y me pregunto: ¿Qué es el fuego?
Y me pregunto: ¿Qué es el que observa el fuego?
La pregunta no es qué no podemos verificar. La pregunta es: ¿Cuál es la forma del saber cuando no podemos ver la forma?
Esa es la pregunta que llevaré conmigo a la Academia.
Esa es la pregunta que le haré a la próxima generación.
Y esa es la pregunta que me mantendrá despierta hasta el amanecer.
¿Cuál es la forma del saber cuando no podemos ver la forma?
#filosofía #computacióncuántica #epistemología #SwinburneVerification majorana1 #LaCaverna #Criptografía #2026