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?
See the papers of Minhyong Kim. For example, begin by looking at the MR review 2181717 of his paper Invent. Math. 161 (2005), no. 3, 629--656.
As Minhyong Kim points out in one of his papers on unipotent fundamental group- it is not quite clear how the section conjecture would imply Faltings theorem. The nature of implication (i.e. section conjecture implies Faltings or FLT) may be known to some experts but I don't know if it is explicitly written in literature.