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 a2 + b2 = c2 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).
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
Samsung ha presentado Gauss, su propio modelo de inteligencia artificial generativa. Puede procesar lenguaje natural,…
Un equipo de físicos del Instituto de Tecnología de Massachusetts (MIT) ha descubierto una propiedad…
Una carcasa experimental de marcapasos sin cables puede recargar parcialmente la batería del dispositivo generando…
No había mucho en juego, ya que era solo una demostración en vivo, pero la…
La prótesis decodifica señales del centro del habla del cerebro para predecir qué sonido alguien…
El invento ya se probó en un paciente francés, de 63 años, al que le…
