[SkyMarshal]

Regarding #2, I think Andrew Wiles already disproved that conjecture, solving Fermat at 41 or thereabouts, but Zhang is certainly another nail in its coffin.