Using a supercomputer, a more than 30 year problem has been solved, namely the ninth so-called Dedekind number has been found. It has 42 digits. Dedekind numbers are used to count the number of monotone boolean functions.

related: #numbers