The Langlands program is a vision of how mathematics could be unified.