Actualidad informática

Esta semana las matemáticas han sido noticia porque se ha resuelto un problema propuesto hace más de 270 años. Un problema sencillo de enunciar, pero muy difícil de demostrar.

¿Qué problema se ha resuelto?

En 1742, el matemático Christian Goldbach le preguntó por carta a su amigo y famoso matemático Leonhard Euler si podía demostrar dos resultados muy sencillos sobre números. Por un lado, lo que hoy en día llamamos la conjetura de Goldbach, o conjetura fuerte de Goldbach, que dice que todo número par mayor que 2 se puede escribir como suma de dos números primos. Por ejemplo, 6 = 3 + 3, 8 = 3 + 5, 10 = 3 + 7, 16 = 3 + 13, etc. Y por otro lado, una variante de este problema que hoy en día llamamos la conjetura débil de Goldbach, que afirma que  todo todo número impar mayor que 5 puede escribir como suma de tres números primos. Por ejemplo, 7 = 2 + 2 + 3, 9 = 3 + 3 + 3, 11 = 3 + 3 + 5, 35 = 19 + 13 + 3, o 77 = 53 + 13 + 11, etc. El matemático peruano Harald Andrés Helfgott ha publicado un trabajo en el que afirma haber demostrado la conjetura débil de Goldbach (o conjetura ternaria de Goldbach). Por supuesto, en estas noticias de matemáticas tenemos que ser cautos. La demostración ocupa 133 páginas y se basa en un trabajo previo de más de 100 páginas. La confirmación “oficial” todavía podría tardar un tiempo, pero varios expertos, como el famoso Terence Tao, que recibió la medalla Fields en el año 2006 en Madrid, afirman que la nueva demostración tiene muy buena pinta y casi seguro que es correcta.

¿Para qué se han utilizado ordenadores en su demostración matemática?

El trabajo de Hardy, Littlewood y Vinográdov demostró que la conjetura débil de Goldbach era cierta para todos los números impares suficientemente grandes. La cuestión clave es entender qué significa ”suficientemente grande.” El ruso Borodzin demostró en 1939 que bastaba tomar números más grandes que 3 elevado a 3 elevado a 15, es decir, 3 elevado a 14 348 907, un número que tiene más de seis millones de dígitos. Verificar la conjetura para números más pequeños es imposible porque es un número muy grande. Este número se ha ido reduciendo poco a poco y en 1989, dos chinos llamados Wang y Chen redujeron esta cota a 3,33 por 10 elevado a 43000, y otros dos chinos llamados Liu y Wang a sólo 2 por 10 elevado a 1346 (el número e elevado a 3100). Aún así, un número con 1346 cifras es demasiado grande. Lo que ha logrado el matemático peruano afincado en Francia, Harald Helfgott, ha sido reducir esta cota mínima a sólo 10 elevado a 30. Esto ha permitido comprobar por ordenador la conjetura para todos los números más pequeños, trabajo en el que ha colaborado con David Platt.

Artículo completo en:  Francis (th)E mule Science’s News