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

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.