Desde entonces, la conjetura de Taniyama-Shimura se conoce también como teorema de la modularidad.