# “Fermat's last theorem” and anabelian geometry??

Do I remember a remark in "Sketch of a program" or "Letter to Faltings" correctly, that acc. to Grothendieck anabelian geometry should not only enable finiteness proofs, but a proof of FLT too? If yes, how?

Edit: In this transcript, Illusie makes a remark that Grothendieck looked for a connection between "FLT" and "higher stacks". BTW, here a note on (acc. to Illusie) Grothendieck's favored landscape.

-
The "Sketch of a program" is available at grothendieckcircle.org. On page 40 of the pdf-file there is certainly a reference to FLT. –  Philipp Lampe Oct 18 '09 at 18:43
Thanks. Has anyone an idea what he had in mind about that? –  Thomas Riepe Oct 19 '09 at 9:42