在历尽逾三十年的搜索之后，在超级计算机的帮助下，数学家发现了第九个 Dedekind 数。Dedekind 数由德国数学家 Richard Dedekind 在 1897 年定义，其核心是布尔函数（即其值为 false 或 true），它是将 n 个布尔变量作为输入，生成另一个布尔变量作为输出的函数。前六个 Dedekind 数都非常简单，D(1)是 2，之后是 3、6、20、168、7581，后面的数愈来愈大。1991 年当时最强大超算之一的 Cray-2 花了 200 小时计算出 D(8)，32 年后德国帕德博恩大学的数学家使用 Noctua 2 超算和现场可编程门阵列(FPGA)计算出 D(9)为 286 386 577 668 298 411 128 469 151 667 598 498 812 366，这是一个 42 位的数。D(10)无疑也要花费很长时间才可能发现。

https://www.sciencealert.com/mathematicians-have-found-the-ninth-dedekind-number-after-32-years-of-searching
https://en.wikipedia.org/wiki/Dedekind_number