News for hackers. Stuff that matters.
Re:Formalizing Fermat's Last Theorem by zamadatix on Friday September 04, 2026 @05:08PM (#49570232)
I think that point actually agrees with GP's take (joking/lying about having had a proof too big to fit in the margin): He would do that because if he thought the problem was extremely difficult but didn't actually have a proof when writing the note he would still want to go on and try to pick away at the problem.

There are no comments on this comment yet.