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.
[ Parent
| on HN ]
There are no comments on this comment yet.