¡Buenas noticias! Un ordenador ha resuelto la conjetura de larga discrepancia de Erdős! El problema es que no tenemos ni idea de lo que está hablando - porque la solución, que es tan larga como todas las páginas de la Wikipedia juntas, es demasiado voluminosa para nosotros, los enclenques seres humanos, de confirmar. Hace unos años, el matemático Steven Strogatz predijo que no tardaríamos mucho antes de que las soluciones asistidas por ordenador a problemas matemáticos estaría más allá de la comprensión humana. Bueno, ya casi estamos ahí.
|
etiquetas: computador , matematicas , problema , fe , erdos