La demostración de la conjetura de Taniyama-Shimura suponía ya de por sí un reto de suma importancia, ya que constituía uno de los puntos del llamado Programa Langlands, cuyo objetivo consiste en unificar áreas de las matemáticas que aparentemente no tienen relación entre sí.