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?
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.