The proof was corrected by Wiles, partly in collaboration with Richard Taylor, and the final, widely accepted version was released in September 1994, and formally published in 1995.
A demostración foi corrixida por Wiles, en parte en colaboración con Richard Taylor, e a versión final amplamente aceptada foi presentada en setembro de 1994 e publicada formalmente en 1995.