Wiles first announced his proof in June 1993 in a version that was soon recognized as having a serious gap at a key point.
Wiles anunciou por primeira vez a súa demostración en xuño de 1993 nunha versión que axiña se comprobou que tiña un problema nun punto clave.