Q quantamagazine.org Ninth Dedekind number found by two independent groups 143 points beefman 3 years ago 29 comments