Ninth Dedekind Number Found by Two Independent Groups

Surprise Computer Science Proof Stuns Mathematicians