O veste excelentă pentru iubitorii matematicii: un computer a rezolvat o veche problemă din matematică, problema discrepanţei a lui Erdős. Din nefericire, nu putem verifica acest computer, deoarece soluţia pe care a identificat-o este la fel de lungă cât toate paginile din Wikipedia la un loc, astfel că niciun om nu poate confirma validitatea soluţiei.