¿Recuerdo un comentario en "Esbozo de un programa" o "Carta a Faltings" correctamente, que la acc. a Grothendieck anabelian geometría no sólo debe habilitar la finitud de las pruebas, pero una prueba de FLT? Si sí, ¿cómo?
Edit: En esta transcripción, Illusie hace una observación que Grothendieck miró de una conexión entre la "FLT" y "superior pilas". Por CIERTO, aquí una nota sobre (acc. a Illusie) Grothendieck del favorecido paisaje.