Un superordenador revela el noveno número de Dedekind de 42 dígitos y resuelve un problema matemático de décadas de antigüedad.