P versus NP
The hard route can arrive with its own proof.
See a tour become five checks and one verdict.
See how far one visual language can travel
From prime numbers and algorithms to public policy, finance, mechanisms, traffic, climate, and groundwater.