General

La prueba matemática más grande del mundo tiene un tamaño enorme de 200 terabytes


Uno de los problemas matemáticos más difíciles de alcanzar ha sido resuelto por tres informáticos y una supercomputadora. La prueba del problema de triples booleanos pitagóricos viene en un archivo de 200 terabytes, lo que la convierte en la prueba matemática más grande del mundo. El tamaño del archivo es bastante asombroso, 1TB es lo suficientemente difícil de entender si es un usuario de datos normal y mucho menos 200 de ellos. La solución se ha comprimido en un archivo de 68 gigabytes para que se pueda compartir más fácilmente entre la comunidad matemática. Pero aquellos que quieran descargar el archivo y echar un vistazo y ver si pueden verificar el trabajo necesitarán una potencia informática bastante importante detrás de ellos.

El problema de las triples pitagóricas booleanas

El archivo de 200 terabytes es ahora oficialmente la prueba asistida por computadora más grande de la historia, con el poseedor del récord anterior de apenas 13 gigabytes. El uso de supercomputadoras para ayudar a crear pruebas de combinatoria es bastante común. La prueba de 200 terabytes resolvió un problema matemático de tipo combinatorio llamado triples booleanos de Pitágoras. El problema pregunta si “cada entero positivo puede ser de color rojo o azul, de modo que una combinación de tres números enteros a, byc, (Triple pitagórico) puede satisfacer la ecuación pitagórica, a 2 + b 2 = c 2, donde ninguno de los números enteros tiene el mismo color ". Esta es una tarea casi imposible para un solo humano, pero con la ayuda de supercomputadoras, el problema se vuelve un poco más fácil.

La teoría de números hizo que la tarea fuera más manejable

Los científicos pudieron utilizar la teoría de números para minimizar el número de comprobaciones de posibles combinaciones que tenía que hacer la computadora. Pero incluso con este número minimizado, la computadora aún tenía que hacer más de 1 billón de carreras. La supercomputadora Stampede tardó dos días completos en completar esta tarea y producir el archivo de 200 terabytes. Una vez producida, se utilizó una computadora separada para verificar la prueba.

¿Por qué 7.824?

Aunque la computadora demostró que era posible colorear los números enteros de múltiples formas, no respondió la pregunta de por qué es posible el esquema de colores. Y aún más desconcertante, la supercomputadora reveló que solo era posible colorear las integrales hasta 7.824. Entonces, en cierto modo, la computadora planteó más preguntas de las que respondió. ¿Por qué 7.824? El hecho de que, al final, no haya 'respuestas' sólidas al problema ha hecho que la gente se pregunte si todo el proyecto es realmente matemático.

¿Usar supercomputadoras es realmente matemático?

Una definición de matemáticas comúnmente aceptada es que los matemáticos deben priorizar la comprensión humana de las matemáticas en lugar de recopilar una lista creciente de hechos. Para obtener todos los detalles y conocer todo el proceso, puede consultar el artículo del grupo que aparece en la biblioteca en línea de la Universidad de Cornell.


Ver el vídeo: Convocatoria IPN 2020. Guía IPN 2020 Razonamiento Matemático Reactivos 11-20 (Noviembre 2021).