Landmark Computer Science Proof Cascades Through Physics and Math