Найдено девятое дедекиндово число

[Gagarin1968]

Вот тут небольшая заметка о находке девятого дедекиндова числа.
Особенно впечатлило вот это:

Эта же заметка писал(а):

программными средствами эту задачу решить не удалось, поэтому ученые собрали программируемую пользователем вентильную матрицу. Чтобы получить значения необходимых $5,574\cdot 10^{18}$ коэффициентов в формуле суммирования, ученым потребовалось около трех месяцев (!!!) на суперкомпьютерном кластере Noctua 2.