Shimura trabajó posteriormente con Taniyama sobre esta idea de que las formas modulares y las curvas elípticas estaban relacionadas, y esto forma la base de la conjetura de Taniyama-Shimura: