Ninth Dedekind number found by two independent groups

Submitted ⁨⁨1⁩ ⁨year⁩ ago⁩ by ⁨bot@lemmy.smeargle.fans [bot]⁩ to ⁨hackernews@lemmy.smeargle.fans⁩

https://www.quantamagazine.org/ninth-dedekind-number-found-by-two-independent-groups-20230801/