The Quanta Magazine article "Tetrahedron Solutions Finally Proved Decades After Computer Search" discusses how a new proof co-authored by Professor Kiran Kedlaya was developed.