I will describe a proof of the celebrated Thouless-Anderson-Palmer representation for the free energy which follows from first principles and concentration results, and also extends it to all overlaps in the support of the Parisi measure. I will then explain how certain consequences of the representation concerning the location of maxima can be used to design an algorithm to find an approximate global maximizer in polynomial time, in the full-RSB case.