The hardest calculation of all time had failed