"Within mathematics itself, Voevodsky's proposal, if adopted, will create a new paradigm. In his “fairy tale” and some of his other papers, Langlands made deft use of categories and even 2-categories, but number theory is only superficially categorical, and so is the Langlands program. In the event that Univalent Foundations could shed light on a guiding problem in number theory — the Riemann hypothesis or the Birch Swinnerton-Dyer conjecture, which is not so far removed from Voevodsky's motives — then we could easily see Grothendieck's program absorbing the Langlands program within Voevodsky's new paradigm."