El matemático Terence Tao supera a un ordenador en la resolución de un problema

[El_Andaluz]

Un matemático australiano-estadounidense ha conseguido superar a un ordenador en la resolución del problema de discrepancia de Erdos, al presentar la demostración en 20 páginas frente al archivo de 13 gigabytes producido por un ordenador en 2014.
Terence Tao, un matemático de la Universidad de California, de origen australiano-estadounidense, ha publicado una demostración del problema de discrepancia de Erdos, que el matemático húngaro Paul Erdos formuló en los años 30 del siglo pasado, informa 'The New Scientist'.

El problema parte de un infinito representado por una secuencia aleatoria de los números +1 y -1, y Erdos quería averiguar si tal secuencia siempre contendría patrones y estructuras dentro de la aleatoriedad. Una posibilidad de hacerlo es calcular un valor conocido como la discrepancia, lo cual supone sumar todos los +1 y -1 dentro de cada posible subsecuencia.

A pesar de que se podría pensar que el resultado sería un 0, Erdos afirmó que a medida que las subsecuencias se alargaban, la suma tendría que aumentar revelando una estructura inevitable, publica la revista. Más aún, el matemático opinaba que la discrepancia sería infinita.

En 2014, dos computólogos de la Universidad de Liverpool recurrieron a un ordenador para demostrar que la discrepancia será siempre mayor de dos. El archivo con el resultado final pesaba 13 gigabytes. Tao a su vez ha optado por unos cálculos matemáticos más tradicionales para demostrar que la discrepancia es infinita independientemente de la secuencia que se escoja.

Fuente: https://actualidad.rt.com/ciencias/186947-matematico-superar-ordenador-discrepancia-erdos

[Orubatosu]

Ningún misterio, los métodos son completamente diferentes.

Los ordenadores son incapaces de "descubrir" por deducción y seguir razonamientos originales, se limitan a comprobar una formula dentro del margen y tiempo que les digamos.

El día que un ordenador sea capaz de desarrollar nuevos razonamientos originales que me avisen, que eso sería interesante de verdad

[ivancea96]

Depende evidentemente de los matemáticos y programadores que hayan realizado el algoritmo. Tal vez no fuera óptimo.