Parte 1 de una reflexión en dos partes. Aquí cuento la historia del Último Teorema de Fermat, la ecuación tan simple que una criatura puede leer y que tomó tres siglos y medio para ser demostrada, y termino abriendo una pregunta más extraña sobre qué significa “resolver” algo. La Parte 2, La Paradoja del Testigo, sigue esa pregunta a donde lleve.

Una ecuación que un niño puede leer

Escribe aⁿ + bⁿ = cⁿ. Un niño de diez años la puede leer. Tiene tres letras, un exponente, un signo de más y un signo de igual. No hay nada oculto en la notación, ningún símbolo exótico, ningún vocabulario especializado. Y sin embargo esta pequeña cadena de caracteres generó un misterio que sobrevivió a imperios, derrotó a las mayores mentes de cada generación por más de trescientos años, y solo fue enterrado en la última década del siglo XX.

Esa distancia entre lo fácil que es preguntarla y lo brutalmente difícil que fue responderla es la razón entera por la que la ecuación es famosa. Es uno de los ejemplos más puros de todo el pensamiento humano de un problema que parece que va a tomar una tarde y toma una era.

Primero, la parte que funciona

Antes de la imposibilidad, existe una versión que se comporta hermosamente.

Cuando el exponente es 2, la ecuación se vuelve a² + b² = c², el teorema de Pitágoras, la relación entre los lados de un triángulo rectángulo. Aquí las soluciones están en todas partes. La famosa es 3, 4, 5: nueve más dieciséis da veinticinco. Después 5, 12, 13. Después 8, 15, 17. Hay infinitas, y los matemáticos saben cómo fabricarlas a demanda hace más de dos mil años. Toma dos números enteros positivos cualesquiera, llámalos m y k con m mayor que k, y calcula:

  • un lado como m² − k²
  • otro como 2mk
  • el más largo como m² + k²

Mete m = 2 y k = 1 y sale 3, 4, 5. Mete m = 3 y k = 2 y sale 5, 12, 13. La máquina nunca se seca. Para n = 2, la ecuación no es solo soluble. Es generosa.

Así que la pregunta natural, la que cualquier persona curiosa haría a continuación, es: ¿y los cubos? ¿Y a³ + b³ = c³? ¿Y potencias cuartas, quintas, superiores? Si los cuadrados nos dan infinitos triángulos de números enteros, seguro que los cubos nos dan algo.

No nos dan nada. Y esa nada es la historia entera.

El margen que empezó todo

Alrededor de 1637, un abogado francés y matemático aficionado llamado Pierre de Fermat estaba leyendo una copia de un antiguo texto griego sobre aritmética. Al lado de la sección que trataba los tríos pitagóricos, garabateó una nota en el margen. Afirmó que para cualquier exponente mayor que 2 la ecuación no tiene solución alguna en números enteros positivos, y añadió la frase más tentadora de la historia de las matemáticas: había descubierto una prueba verdaderamente maravillosa de esto, que el margen era demasiado estrecho para contener.

Después murió sin nunca haberla escrito.

No sabemos si Fermat realmente tenía una prueba. La mayoría de los matemáticos hoy lo duda seriamente. Las herramientas que finalmente rompieron el problema no existían en su siglo y no existirían por otros trescientos años, así que si tenía una prueba general genuina, tendría que haber sido algo completamente distinto de cualquier cosa que se haya encontrado desde entonces, y nadie la ha reconstruido nunca. La explicación más probable es que Fermat tenía una prueba para un caso específico pequeño, se convenció de que la misma idea generalizaría, y simplemente estaba equivocado. Era un matemático brillante que ocasionalmente erraba, como todo el mundo.

Pero la nota sobrevivió, publicada tras su muerte por su hijo, y se convirtió en un desafío que iba a atormentar la disciplina.

Tres siglos de asedio

Aquí está la cosa extraña sobre la afirmación: es fácil de probar e imposible de terminar.

Cualquiera puede verificar que no hay cubos pequeños que funcionen. Puedes verificar miles de casos, millones, y hoy miles de millones con una computadora, y nunca encuentras un contraejemplo. Pero verificar casos, por muchos que sean, no prueba nada sobre el océano infinito de casos que no verificaste. Las matemáticas no aceptan “miramos mucho y no encontramos”. Exigen una prueba que cubra todos los números de una vez, para siempre. Ese es el muro en el que cada generación se estrelló.

Los mayores nombres de las matemáticas fueron picando pedazos. El caso de los cubos se resolvió en el siglo XVIII. Las potencias cuartas las había tratado el propio Fermat con un método que efectivamente dejó registrado. Uno a uno, exponentes individuales cayeron: una prueba para n = 5, una prueba para n = 7, familias enteras de exponentes despachadas por argumentos ingeniosos en el siglo XIX. Hubo incluso una crisis matemática cuando una prueba celebrada resultó descansar en una suposición falsa escondida sobre cómo se factorizan los números, un error tan instructivo que repararlo creó ramas enteramente nuevas de las matemáticas.

Pero cada una de estas victorias era parcial. Probar el teorema para el exponente 5, o 7, o mil exponentes específicos, todavía deja infinitos exponentes intactos. Después de trescientos años de esfuerzo de los mejores de la historia, la afirmación general permanecía exactamente donde Fermat la había dejado: una aserción que nadie podía realmente probar.

Se convirtió, en cierto sentido, en el problema abierto más famoso de las matemáticas. No porque fuera importante para alguna aplicación, sino porque era tan simple de enunciar y tan humillantemente resistente a ser terminado.

El camino improbable hacia la respuesta

La resolución, cuando finalmente llegó, vino de una dirección completamente inesperada. No vino de alguien manipulando la ecuación con astucia. Vino de una conjetura profunda e inicialmente sin relación sobre dos tipos muy distintos de objetos matemáticos, curvas definidas por ecuaciones cúbicas de un lado, y funciones ricamente simétricas del otro, que una sugerencia de mediados del siglo XX propuso estaban secretamente, profundamente conectados.

En los años 1980, alguien notó la bomba: si la ecuación de Fermat tuviera una solución, esa solución podría usarse para construir una de estas curvas con propiedades imposibles, una curva tan extraña que no podría obedecer la conexión profunda que la conjetura predecía. En otras palabras, si esta gran conjetura sin relación era verdadera, entonces el Último Teorema de Fermat también tenía que ser verdadero. El acertijo de siglos había sido silenciosamente atornillado a una de las preguntas centrales de las matemáticas modernas.

Andrew Wiles, un matemático que había quedado cautivado por el problema a los diez años leyendo sobre él en un libro de la biblioteca, vio su apertura. Trabajó en secreto casi total durante siete años, algo casi inaudito en un campo colaborativo, contándole a casi nadie lo que realmente hacía. En 1993 anunció una prueba a una audiencia atónita. Después, durante el proceso de revisión, apareció una brecha sutil en el argumento, y por más de un año pareció que el sueño se había colapsado en la línea de llegada. Trabajando con un ex-alumno, Richard Taylor, Wiles finalmente reparó la brecha con una combinación ingeniosa de enfoques, y en 1994 la prueba estaba completa y correcta.

Trescientos cincuenta y siete años después de que un abogado garabateara en un margen, el teorema era teorema de verdad.

¿Entonces alguien lo “resolvió”?

Aquí es donde el lenguaje necesita cuidado, porque dos cosas muy distintas se llaman “resolver”, y confundirlas es el error más común que la gente comete sobre este problema.

Nadie jamás resolvió la ecuación en el sentido de encontrar números que la satisfagan para una potencia de 3 o mayor, porque tales números no existen. No hay nada que encontrar. Ese nunca fue el objetivo y nunca fue posible.

Pero el teorema, la afirmación de que tales números no existen, fue absolutamente resuelto, en el sentido de ser probado, por Wiles en 1994. Por tres siglos y medio la cosa honesta a decir era “nadie ha podido probar esto todavía”. Después de 1994, esa frase se volvió falsa. El problema está cerrado. Es uno de los grandes resultados asentados de las matemáticas.

Así que la frase poética “la ecuación que nadie podía resolver” es una historia sobre el pasado. Hoy la afirmación correcta es que a la humanidad le tomó un tiempo asombroso, y matemáticas de una profundidad vertiginosa, para probar algo cuya pregunta un niño podía entender.

Por qué todavía fascina

La curiosidad duradera de aⁿ + bⁿ = cⁿ no es que sea difícil. Muchas cosas son difíciles. Es el desajuste específico, casi cruel, entre la superficie y el interior.

En la superficie es aritmética, el tipo de cosa que vive en un aula de secundaria, un pequeño paso más allá del teorema de Pitágoras que todo el mundo ya conoce. Por debajo, el único camino conocido a su verdad atraviesa algunas de las maquinarias más abstractas y exigentes jamás construidas por matemáticos, ideas que tomaron generaciones para ser inventadas por razones enteramente distintas.

Existe también el drama humano que ninguna otra ecuación puede igualar: la enloquecedora nota marginal y su “prueba maravillosa” perdida, el desfile de genios que se lanzaron contra ella y ganaron solo fragmentos, la crisis de una prueba falsa que accidentalmente parió matemáticas nuevas, y finalmente un niño que se enamoró del problema, desapareció por siete años, tropezó en el último momento, y se levantó de nuevo.

Y hay una lección más silenciosa por debajo de todo. La prueba de que no existen soluciones no vino de mirar más fijo la ecuación. Vino de descubrir que esta preguntita humilde estaba secretamente atada a regiones vastas y distantes de las matemáticas que nadie había conectado a ella antes. La respuesta se escondía no dentro del problema, sino en las relaciones entre problemas. Así es a menudo como se resuelven las preguntas más profundas, no por fuerza, sino por la revelación de un vínculo que nadie esperaba.

La ecuación es simple. La imposibilidad que describe es absoluta. Y el camino para probar esa imposibilidad es una de las jornadas más hermosas que la mente humana ha hecho. Por eso, mucho después de haber dejado de ser un misterio, sigue siendo una de las grandes historias.

Una paradoja de cierre: hasta los problemas resueltos necesitan un testigo

Es tentador, en una era de máquinas poderosas, imaginar que los problemas difíciles ahora simplemente van a caer, que podríamos apuntar una inteligencia artificial incansable a toda pregunta abierta y esperar que las respuestas broten. Y hasta cierto punto las herramientas sí aceleran el descubrimiento. Pero la historia de Fermat silenciosamente advierte contra creer que la herramienta es el todo.

Considera lo que el gran avance realmente exigió. No cómputo bruto, porque ninguna cantidad de verificación de casos jamás habría terminado el trabajo, y todo el mundo lo sabía. Lo que se exigía era un humano decidiendo que el problema importaba lo bastante como para gastar una vida en él, reconociendo un puente inesperado entre campos distantes, y teniendo el gusto para saber cuál de mil direcciones posibles valía la pena caminar. La disposición y la creatividad eran los ingredientes escasos. La maquinaria, por impresionante que sea, no suministra el querer.

Y aquí aparece una paradoja genuina. Supón que intentaras remover al humano por completo: pones un sistema corriendo para siempre para resolver todo problema del mundo, sellado, sin acceso humano alguno. Haz la pregunta simple: resuelto ¿para quién? Una prueba que nadie nunca lee no está desempeñando la función que una prueba existe para desempeñar. Las matemáticas nunca fueron meramente la producción de afirmaciones verdaderas. Eran el acto de entender, de convencer, de plegar un resultado de vuelta hacia lo que la gente ahora puede ver y construir sobre. Una respuesta correcta dentro de una caja sellada que nadie abre tiene la misma posición práctica que ninguna respuesta.

La trampa se aprieta cuando notas cómo sabrías siquiera que la máquina había tenido éxito. Para saber que resolvió cualquier cosa, necesitas acceso a sus resultados, y en el instante en que tienes ese acceso, la premisa de la caja sellada está rota. Las dos condiciones, saber que problemas están siendo resueltos y ningún humano jamás teniendo acceso, no pueden valer las dos. El escenario silenciosamente se devora a sí mismo.

Esto revela algo fácil de perder de vista: resolver no es solo un evento en el mundo. Es también un evento que tiene que ocurrir dentro de una mente. La respuesta tiene que aterrizar en algún lugar, ser entendida por alguien, cambiar lo que alguien ahora puede hacer. El humano no es solo quien empieza la búsqueda. Es también quien la completa al entender lo que se encontró. Remueve al humano de ambos extremos y no te queda un universo desbordante de problemas resueltos. Te queda un silencio muy caro.

El teorema de Fermat tomó tres siglos y medio precisamente porque estaba esperando una mente lista para entenderlo. Eso, al final, es lo que una solución es: no una cadena de símbolos que por casualidad es verdadera, sino un pedazo del mundo que finalmente ha sido entendido por alguien capaz de importarle que lo fuera.

Continúa en: Parte 2, La Paradoja del Testigo.

Nota del autor: este texto todavía espera una revisión propia. Lo publico en esta forma porque leerlo en pantalla facilita el proceso de revisar. ¿Encontraste algo raro? Cuéntame.