6 votes

Landmark computer science proof cascades through physics and math