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.

Entre la gente que hace matemáticas se suele hablar mucho del número de Erdős. Paul Erdős (1913-1996) fue uno de los más prolíficos matemáticos en cuanto a publicaciones científicas: unos 1.500 artículos y más de 500 coautores. ¿Qué es el número de Erdős? Paul Erdős tiene número de Erdős igual a 0, cualquier persona que haya publicado con él tiene número de Erdős igual a 1, alguien que haya publicado con un coautor de Erdős tiene número de Erdős igual a 2, etc.