well thats not really similar, since in the first case, a large portion of the respondents turned out to be mansplaining (referencing her sex for example). I d

well thats not really similar, since in the first case, a large portion of the respondents turned out to be mansplaining (referencing her sex for example). I don't think the situations are similar... Also, her problem and solution are concise to verify, I have yet to see a mechanized version of Wiles' proof. (I am willing to believe it when I see that, but until then I too have a hard time accepting the proof... but of course if an oracle put a gun to my temple and I had to guess, I'd be with Wiles...)