La prueba del pato es una de las heurísticas más limpias del arsenal epistemológico: si camina como un pato y grazna como un pato, trátalo como un pato. Funciona porque las señales superficiales suelen estar entrelazadas con las causas subyacentes. Los patos caminan como lo hacen por su anatomía; graznan por la forma de su pico. La superficie y la sustancia no son independientes. Cuando lees correctamente la superficie, normalmente has identificado correctamente la sustancia.

La teoría de cuerdas (string theory, en su nombre original en inglés) es el caso más famoso en la ciencia moderna de una entidad que derrotó a la heurística. No porque no pareciera física — parecía exactamente física. Usaba el vocabulario de la física, las revistas de la física, la infraestructura de financiamiento de la física, los premios de la física. Leonard Susskind, Ed Witten y otros pensadores de auténtico calibre pasaron décadas desarrollándola. A mediados de los noventa, no trabajar en teoría de cuerdas era un riesgo profesional en la física teórica. El pato caminaba. El pato graznaba. El pato tenía un currículum impecable.

Y sin embargo, ningún experimento jamás la confirmó. Ningún experimento jamás pudo.

I. Por qué la heurística funciona casi siempre.

La prueba del pato funciona porque los atributos observables suelen estar causalmente entrelazados con la cosa que indican. Confiamos en la heurística porque ha sido fiable: las señales superficiales evolucionaron para rastrear, o fueron diseñadas para reflejar, realidades subyacentes. Cuando un médico diagnostica a partir de síntomas, cuando un detective infiere a partir de indicios, cuando un científico identifica un compuesto por su espectro, la cadena de inferencia se sostiene porque las señales son consecuencia causal de la cosa.

La noción de parecido de familia de Wittgenstein añade matiz útil. Las categorías se sostienen no por una esencia única compartida, sino por grupos solapados de semejanzas — características que se entrecruzan sin que ninguna esté presente en todos los miembros. La prueba del pato funciona no porque los patos tengan una esencia definitoria, sino porque el conjunto de características-pato coexiste de manera fiable. Lo que también significa: la heurística falla, de manera predecible, cuando esas características pueden producirse independientemente de la realidad subyacente. Cuando el pico, el andar y el graznido pueden ensamblarse sin la anatomía.

Este es el modo de fallo. Y es más común de lo que creemos, especialmente cuando la cosa imitada tiene alto estatus institucional.

II. Cómo la teoría de cuerdas superó todas las pruebas superficiales.

La génesis misma fue una coincidencia exactamente del tipo en que los físicos habían aprendido a confiar. En 1968, Gabriele Veneziano notó que la función beta de Euler — una pieza de matemática pura del siglo XVIII sin nada que hacer cerca de la física de partículas — describía las amplitudes de dispersión de la fuerza fuerte con una precisión asombrosa. En dos años, Leonard Susskind, Yoichiro Nambu y Holger Nielsen habían reinterpretado la fórmula de Veneziano como el comportamiento de cuerdas unidimensionales vibrantes. El pato nació con el augurio más fuerte posible: una pieza vieja y bella de matemáticas que resultaba encajar con datos experimentales. La geometría de Riemann había hecho lo mismo por la relatividad general. Los espacios de Hilbert habían hecho lo mismo por la mecánica cuántica. El patrón era real, y también lo era el prior que generaba.

El programa pronto se reformuló en torno a un problema más profundo: cómo reconciliar la relatividad general con la mecánica cuántica, los dos marcos fundacionales de la física moderna, que se contradicen entre sí a las escalas donde ambos deberían aplicarse. La propuesta — que las partículas fundamentales no son puntuales sino pequeñas cuerdas vibratorias unidimensionales — tenía virtudes estéticas inmediatas. Unificaba las fuerzas conocidas en un único marco matemático. Predecía la existencia del gravitón. Conectaba con estructuras matemáticas profundas que, a quienes trabajaban en ellas, les parecía que debían estar rastreando algo real.

La elegancia matemática era genuina. Ed Witten — quizás el físico matemático más formidable de su generación, con Medalla Fields incluida — trabajó en cuerdas. Cuando alguien del calibre de Witten trabaja en algo, eso parece física seria, porque él lo está haciendo. Los marcadores institucionales siguieron: financiamiento, plazas en universidades de élite, conferencias, libros de divulgación, cobertura entusiasta en la prensa científica. Toda una generación de jóvenes físicos brillantes construyó sus carreras en el paisaje.

A finales de los noventa, el programa tenía todos los rasgos superficiales de un gran avance científico en marcha. El pato caminaba. El pato graznaba. El pato daba conferencias magistrales en los foros más prestigiosos de la física.

III. El huevo que nunca llegó.

El criterio de Karl Popper para distinguir ciencia de no-ciencia es la falsabilidad: un enunciado es científico si especifica condiciones bajo las cuales podría demostrarse que es falso. La teoría de cuerdas encontró un problema de forma característica. A medida que el programa se desarrollaba, los teóricos descubrieron que las ecuaciones permitían aproximadamente 10^500 soluciones distintas — 10^500 universos posibles, cada uno con diferentes constantes físicas, diferentes masas de partículas, diferentes leyes. Una de esas soluciones describe presumiblemente nuestro universo. Pero con 10^500 opciones, cualquier observación puede acomodarse en algún lugar del paisaje. La teoría predice todo, lo que equivale a no predecir nada en particular.

Lost in Math (2018) de Sabine Hossenfelder diagnosticó la enfermedad con precisión: los físicos habían confundido la belleza matemática con la verdad física. La heurística — las matemáticas elegantes deben estar apuntando a algo real — había servido al campo durante siglos. La relatividad general es bella y verdadera. La mecánica cuántica es extraña y verdadera. La belleza y la verdad habían estado correlacionadas el tiempo suficiente como para que la correlación misma se volviera confiable. La teoría de cuerdas era bella. La correlación no se sostuvo.

The Trouble with Physics (2006) de Lee Smolin y Not Even Wrong (también 2006) de Peter Woit llegaron al mismo lugar desde ángulos distintos. El programa se había expandido tan lejos del contacto experimental que había dejado de estar restringido por el mundo. Se había vuelto, en palabras de Woit, ni siquiera incorrecto — infalsable en principio, y por tanto fuera de la jurisdicción del experimento. El pato nunca había puesto un huevo.

IV. De qué era realmente un pato.

Aquí es donde la historia gira, y donde alcanza más allá de la teoría de cuerdas.

La teoría de cuerdas no era física fundamental en el sentido popperiano. Pero no era nada. Era una comunidad, un programa de investigación, una estructura de carreras, una manera para que personas muy talentosas hicieran trabajo matemático genuinamente bello. Produjo resultados reales — en matemáticas. La simetría especular, la teoría topológica de campos cuánticos, la correspondencia AdS/CFT: estos son descubrimientos matemáticos genuinos, valiosos por sus propios méritos, independientemente de si el cuadro físico subyacente es correcto. El pato existía. Simplemente no era el pato que alguien pensaba que estaba financiando.

El fallo estuvo en el etiquetado, no en las matemáticas. La teoría de cuerdas fue presentada como física fundamental y así fue dotada de personal y financiada. La prueba del pato se aplicó al nivel equivocado. El talento de Witten, la persistencia de Susskind, la elegancia de las matemáticas — todo eso eran señales reales, que normalmente rastrean física real. Las señales se desacoplaron del objetivo subyacente sin que nadie lo notara, porque el acoplamiento siempre había sido tan fiable antes.

Thomas Kuhn describió cómo los paradigmas persisten más allá de su utilidad: una vez que un programa de investigación tiene suficiente masa institucional — carreras, revistas, conferencias, estudiantes de posgrado — se vuelve muy difícil abandonarlo incluso cuando las evidencias escasean. El paradigma produce su propia gravedad. La prueba del pato se vuelve más difícil de aplicar desde dentro del nido.

Esta es la generalización que vale la pena sostener. La prueba del pato es la heurística práctica más fiable que tenemos para navegar campos complejos que no podemos comprender del todo desde adentro. Y es también — precisamente porque es fiable — lo que los sistemas de alto estatus aprenden a engañar. No mediante fraude deliberado, generalmente, sino por deriva: los marcadores institucionales se reproducen a sí mismos después de que la sustancia subyacente se ha adelgazado. La burocracia que camina como trabajo. Las métricas de engagement que caminan como comunicación. Las funciones de optimización que caminan como inteligencia. Las evaluaciones de desempeño que caminan como retroalimentación.

En cada caso, las señales superficiales se desacoplaron de la sustancia subyacente en algún punto — y el desacoplamiento fue invisible por un tiempo porque la infraestructura institucional seguía regenerando las señales de todos modos.

La pregunta de Popper fue siempre: ¿cómo se vería esto si estuviera equivocado, y puedo ver esa forma desde donde estoy parado? La teoría de cuerdas tardó treinta años en responderla. La mayoría de los artefactos institucionales nunca lo hacen.

(Debo consignar para el registro que tengo un enorme respeto por Ed Witten y preferiría no estar cerca cuando lea esto. Soy, como se dice, un pato sentado.)