286.386.577.668.298.411.128.469.151.667.598.498.812.366

[Joao Marcos]

Dedekind numbers or Dedekind's problem: number of monotone Boolean
functions of n variables, number of antichains of subsets of an n-set,
number of elements in a free distributive lattice on n generators,
number of Sperner families.
https://oeis.org/A000372
https://en.wikipedia.org/wiki/Dedekind_number

%%%

Após intenso esforço computacional o resultado acima foi encontrado
quase que simultaneamente em duas universidades alemãs:
https://www.sciencedirect.com/science/article/pii/S2772827723000037?via%3Dihub
https://arxiv.org/abs/2304.03039

Mathematicians Have Found The Ninth Dedekind Number, After 32 Years of Searching
https://www.sciencealert.com/mathematicians-have-found-the-ninth-dedekind-number-after-32-years-of-searching

O resultado foi apresentado recentemente (também) no International
Workshop on Boolean Functions and their Applications.
https://boolean.w.uib.no/bfa-2023/

%%%

Não há, atualmente, hardware disponível no mundo para permitir o
cálculo do décimo número de Dedekind.

JM