They found what is known as the ninth Dedekind number ... we were able to reduce the number of terms to ‘only’ 5.5*10 18 —an enormous amount. By comparison, the number of grains of sand ...