The Langlands program is a vision of how mathematics could be unified in a single framework.
Good policy requires both sound theory and empirical validation.