On: Formalizing Fermat's Last Theorem

[NooneAtAll3]

> Given the likely length of the shortest possible proof, I feel like Fermat is 100% vindicated - the proof won’t fit in the margin.

https://xkcd.com/1381/