4 ms·

Hence proofs as I've stated.

• CamperBob2 1y ago
  Go up to Andrew Wiles and say, "Meh, NBD, it was just a proof."
  • ktallett 1y ago
    IMO questions and Andrew Wiles solving Fermat's last theorem are two vastly different things. One is far harder than the other and the effort he put in and thinking needed is something very few can do. He also did some other fascinating work that I couldn't hope to understand fully. There is a gulf between FLT and IMO types of proofs.