Mathematicians Have Found the Ninth Dedekind Number, After 32 Years of Searching

Longer Quanta article with more context, discussed 6 days ago: https://news.ycombinator.com/item?id=38337784