Landmark computer science proof cascades through physics and math | Heykuki News