Landmark computer science proof cascades through physics and math