Prueba del problema de la diferencia de Erdő

Según un informe publicado en el sitio web de la "Organización de Físicos" estadounidense, los expertos informáticos británicos Alexey Lishtesha y Boris Konev utilizaron recientemente computadoras para resolver un problema matemático de 80 años: la discrepancia de Erdos. Problema. Se ha publicado una preimpresión de su artículo en arXiv.org.

El artículo de Lishtesha y Konev describe cómo construyeron un programa informático para resolver el problema de la diferencia Erdesh. Dado que los datos generados por la prueba son 13 GB (los datos completos de Wikipedia son solo 10 GB), es imposible verificarlos manualmente. Esto plantea una pregunta interesante: si se utiliza una computadora para probar una proposición matemática, pero la cantidad absoluta de datos es demasiado grande para verificarla manualmente, ¿se puede verificar que esta prueba sea verdadera o falsa?

Las computadoras se inventaron para realizar cálculos y la potencia informática siempre ha sido la base de las computadoras. La intervención de las computadoras ha cambiado los métodos de investigación matemática, ha ampliado el campo de la investigación matemática y ha promovido el desarrollo de las matemáticas computacionales. Especialmente la suma aritmética de Stroski.

El matemático chino Terence Tao nació en Australia en 1975. Su principal experiencia investigadora se centra en el análisis armónico, las ecuaciones diferenciales parciales, la combinatoria, la teoría analítica de números y la teoría de la representación. El 17 de septiembre de 2015, anunció que había demostrado la existencia del problema de la diferencia Erds planteado por Erds Pál en 1932. Se trata de un problema que ha preocupado a los círculos académicos durante más de 80 años.