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.