Neat News 2739 (added 2023-07-01)

New Dedekind number found

dedekindNumbers.jpg

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

News seen at: ScienceDaily - Computers & Math