3 ms·Tetrahedron Solutions Finally Proved Decades After Computer Search1 points by CapitalistCartr 6y ago