La prueba matemática más grande del mundo ocupa 200 Terabytes

Si cree que era difícil llenar páginas y páginas de álgebra en el colegio, tenga en cuenta que tres matemáticos acaban de publicar la prueba matemática más grande del mundo. Ocupa 200TB de espacio de almacenamiento.

El equipo de las Universidades de Texas en Austin, Kentucky y Swansea han usado recursos informáticos generosos para resolver el problema de triples pitagóricos booleanos:

¿Es posible colorear todos los números enteros ya sea de rojo o azul para que ninguna terna pitagórica de los números enteros a, b, c, satisfaga que a² + b² = c² sean todos del mismo color?

El rompecabezas lo estableció el matemático Ronald Graham en la década de 1980, y ofreció US$100 a cualquiera que pudiera encontrar la respuesta. El trío de investigadores ya ha cobrado la recompensa.

Resulta que la respuesta al enigma es: No.

Akarkra is a nervine tonic for strengthening buy levitra professional your nervous system. The skin condition rosacea is a typical http://mouthsofthesouth.com/events/personal-property-auction-of-linda-wayne-little-pics-here-flyer-covid19-guidelines/ viagra 50 mg illness involving the production and function of the oil glands and may be a cause of severe side effects. Formerlymeasuredanarena within overall surgery, it is now deliberated purchase cialis online as specialty in its own right. This could viagra on line http://mouthsofthesouth.com/viagra-7115 lead to miscommunication and further deteriorate into suspicion and jealousy. Pero para llegar a ese simple conclusión, el equipo tuvo que trabajar a través de combinaciones de números enteros hasta 7.825. (La respuesta fue afirmativa hasta 7.824).

Sin embargo, en el momento en que se llega a 7.825, resulta que hay más de 102.300 posibles maneras de colorear todos los números enteros.

El equipo utilizó algunos trucos matemáticos para simplificar la situación, pero aún así dejó 1 billón de combinaciones para comprobar.

El equipo utilizó el supercomputador Stampede de la Universidad de para evaluar todas las combinaciones, utilizando 800 procesadores en el transcurso de dos días para crear 200TB de datos. (El récord anterior era unos miserables 13 GB).

Este tipo de pruebas asistidas por computador son cada vez más comunes en matemáticas, aunque existe cierto debate sobre si son pruebas de matemáticas en el sentido verdadero.

Fuente: Gizmodo