Comment by enriquto

but i don't understand... isn't Wiles's proof and its numerous rewritings already in the training set?