Mathematicians have found the ninth Dedekind number | Heykuki News