¿Cómo se habría escrito esta prueba matemática? ¿Qué lo hace tan grande para ocupar 200 TB?

No es técnicamente una prueba, diría, sino un conjunto de datos por valor de 200 GB.

Entonces, ¿de qué se trata todo esto? Lo resumiré lo más breve posible aquí.

Problema : ¿Es posible dividir un conjunto de enteros positivos {1, 2, 3, …} en dos categorías de colores, digamos Rojo y Azul, de modo que ninguna Tripita pitagórica, a, b, c sea del mismo color?

En palabras simples, podemos tener ayb de trillizos pitagóricos en azul, pero con ellos no queremos tener c como azul. c debe ser rojo. Los tres no pueden ser del mismo color.

Historia: se basa en la teoría de Ramsey. El problema fue resuelto por el Texas Advanced Computing Center en mayo de 2016. Las supercomputadoras trabajaron durante 2 días en él y generaron datos de 200 TB, que los principales investigadores comprimieron en un archivo de 68 GB que puede ser examinado por otras computadoras. De todos modos, la mente humana no puede examinar 200 TB de datos.

Resultado : Sí, es posible dividir un conjunto de enteros positivos como se mencionó anteriormente, pero funciona solo hasta el número 7824. El problema es esto, sabemos que funciona hasta 7824, pero ¿por qué funciona solo hasta ese nivel? ¿O por qué no más allá de eso? Todavía no lo sabemos. Por lo tanto, no es una prueba, sino una pila de datos que responde parcialmente a una pregunta formulada en los años 90.


Fuentes:

  1. La prueba matemática generada por computadora es la más grande de 200 terabytes
  2. La prueba de matemáticas más grande del mundo ocupa 200 terabytes
  3. Imagen: Phys.org – Noticias y artículos sobre ciencia y tecnología

Para artículos más similares, únete a nuestra nueva revista Science, A Science Periodic .
WordPress: una ciencia periódica
Facebook: una ciencia periódica