La medalla Fields es algo asรญ como el premio Nobel de las matemรกticas, pero solo se otorga cada cuatro aรฑos a matemรกticos menores de cuarenta, lo que nos permite a los matemรกticos argumentar, porque asรญ nos gusta pensarlo, que es mรกs difรญcil ganarse una Fields que un Nobel. La leyenda arriba descrita (poco importa su veracidad) refuerza el mito segรบn el cual la teorรญa de nรบmeros es la rama mรกs difรญcil de las matemรกticas. El mismรญsimo Carl Gauss dijo alguna vez que si las matemรกticas reinan sobre las ciencias, la teorรญa de nรบmeros reina sobre las matemรกticas.
La teorรญa de nรบmeros es el estudio de los nรบmeros naturales 1, 2, 3, etcรฉtera. Las dos operaciones importantes son las que uno aprende desde muy temprano en la escuela: la suma y la multiplicaciรณn. Asรญ que los conceptos y enunciados de la teorรญa de nรบmeros son, en principio, mucho mรกs accesibles que los conceptos y enunciados de cualquier otra rama de las matemรกticas. Por ejemplo, un nรบmero natural es primo si tiene exactamente dos divisores. Es fรกcil ver que 2, 3, 5, y 7 son primos pero 1, 4, 6, 8, 9, y 10 no.
Los primos son a la teorรญa de nรบmeros lo que los elementos de la tabla periรณdica son a la quรญmica. Asรญ como toda molรฉcula estรก compuesta de รกtomos elementales, todo nรบmero natural puede ser escrito como un producto de primos. Este resultado fue demostrado por Euclides hace mรกs de dos mil aรฑos.
Euclides tambiรฉn demostrรณ que hay una infinidad de primos. El argumento es una hermosa reducciรณn al absurdo. Si hubiese un nรบmero finito de primos –argumentรณ Euclides– uno los puede enumerar de primero a รบltimo, y si uno los multiplica todos y luego suma 1, el nรบmero resultante no puede ser divisible por ninguno de ellos. Como dicho nรบmero tiene que ser el producto de primos, uno concluye que la lista que postulรณ completa no podรญa estarlo.
En el abismo histรณrico que nos separa de Euclides ha habido varios otros resultados mayores en teorรญa de nรบmeros, aunque ninguno tan grande como el teorema de los nรบmeros primos, el cual revela que los primos bailan de manera caprichosa sobre una delgada lรญnea entre la estructura y la aleatoriedad. Dicho teorema, demostrado independientemente por Jacques Hadamard y Charles Jean de la Vallรฉe-Poussin en 1896, dice que la distancia promedio entre dos primos consecutivos menores que n es ln (n)
La demostraciรณn del teorema de los nรบmeros primos es bastante complicada, pero Terence Tao la ha descrito como una suerte de operaciรณn musical. Uno le pasa una funciรณn a todos los nรบmeros naturales, y esta funciรณn es ruidosa cada vez que detecta un primo, pero silenciosa cuando no. Despuรฉs uno “escucha” la mรบsica de los primos con un aparato matemรกtico llamado “transformada de Fourier”, y se da cuenta de que ciertas notas no pueden ocurrir.
Quizรกs sea justo decir que la mรบsica de los primos es un poco estridente. Hay una conjetura que ilustra muy bien este fenรณmeno. Si dos primos estรกn a distancia 2, se los llama primos gemelos. Por ejemplo, 3 y 5 son primos gemelos, lo mismo que 3,756,801,695,685 x 2666,669 – 1 y 3,756,801,695,685 x 2666,669 + 1. La conjetura es que hay una infinidad de primos gemelos, y ha permanecido sin soluciรณn desde hace muchรญsimo tiempo. Una versiรณn un poco menos ambiciosa de dicha conjetura reemplaza a la distancia 2 por una distancia N posiblemente mayor, y postula la existencia de una infinidad de pares de primos a distancia menor que N.
Hay otra conjetura que asevera que todo nรบmero par mayor que 2 puede ser escrito como la suma de dos primos. Por ejemplo, 100 = 97 + 3. Fue formulada por primera vez en una carta que Christian Goldbach le escribiรณ a Leonhard Euler el 7 de junio de 1742. En el sucesivo intercambio, a Goldbach se le ocurriรณ formular otra conjetura una pizca menos ambiciosa: todo nรบmero impar mayor que 5 puede ser escrito como la suma de tres primos.
En estos dรญas la comunidad matemรกtica estรก de fiesta con la noticia de que las dos versiones menos ambiciosas de estas dos conjeturas histรณricas han sido resueltas. El matemรกtico peruano Harald Andrรฉs Helfgott –sรบbito candidato de rigor para la siguiente medalla Fields– demostrรณ la segunda conjetura de Goldbach, y el desconocido Yitang Zhang demostrรณ que hay una infinidad de pares de primos a distancia menor que 70,000,000. (En las รบltimas dos semanas, ese nรบmero ha sido reducido a 59,470,640, y ya hay una pequeรฑa comunidad de concursantes que buscan disminuir el nรบmero lo mรกs posible.)
Si bien Helfgott es miembro de un grupo sin mayor representaciรณn en la comunidad matemรกtica, su perfil acadรฉmico se asemeja al del medallista Fields de la leyenda con que comienza esta nota. Yitang Zhang, por el otro lado, no logrรณ conseguir trabajo acadรฉmico al terminar su doctorado, tuvo que trabajar cierto tiempo en un motel en Kentucky para sobrevivir, no ha publicado ningรบn artรญculo desde el aรฑo 2001, y no cuenta, a sus cincuenta aรฑos, ni siquiera con una posiciรณn de profesor de planta.
A la fecha, los argumentos de Helfgott y Zhang han sido examinados por los expertos mรกs importantes del mundo y el estatus de los dos resultados es sรณlido. Los dos triunfos son dignos de celebraciรณn, pero si el de Helfgott nos invita aplaudir los mรฉritos extraordinarios de un matemรกtico latinoamericano, el de Zhang resquebraja de manera aรบn mรกs contundente el mito elitista que acompaรฑa a la teorรญa de nรบmeros. ~
(Friburgo, 1973) es doctor en lรณgica matemรกtica y profesor en Salem State University, en Massachusetts, EUA. Sus poemas en inglรฉs y espaรฑol han aparecido en Rattle, River Styx, y la Revista de Poesรญa de la Universidad de San Carlos de Guatemala. Su primer libro de poemas, titulado Perplejidades, fue publicado por Cooperativa La Joplin en Mรฉxico, D.F., en el 2015.