Ninth Dedekind number discovered: long-known problem in mathematics solved | Heykuki News