Tetrahedron Solutions Finally Proved Decades After Computer Search Email Share Share Share Date February 02, 2021 Source Quanta Antonia J. Jones Kiran Kedlaya Michael Rubinstein Peter Sarnak