News for hackers. Stuff that matters.
Re:Formalizing Fermat's Last Theorem by drivebyhooting on Friday September 04, 2026 @04:14PM (#49569680)
That’s just a counter example I can check by hand with almost zero background.

Wiles’s proof will remain a mystery to me.

There are no comments on this comment yet.