En la actualidad resultados de este tipo, mucho más generales y poderosos, han sido probados por varios matemáticos: además de generalizaciones probadas por Wiles en colaboración con C.