Comment by hn_throwaway_99
1 month ago
> he's still responsible for the theorem being proved.
I think you have an odd definition of "responsible". Many (most?) theorems start out as conjectures, and I would strongly disagree that just because someone first formulated a problem that they're "responsible" for the eventual solution.
It's not just that he formulated the problem, though. It was specifically the fact that he claimed he had a proof which led to the proof, and it was only because people credibly believed he had one that they spent so much effort trying to (supposedly, re-)discover it.
> and it was only because people credibly believed he had one that they spent so much effort trying to (supposedly, re-)discover it.
That's not true. Even early on, most mathematicians doubted he had a proof. But I'd check out the history of the problem as described on Wikipedia. There was considerable research into the problem before Fermat, and general research into Diophantine equations had gone on for over a thousand years before Fermat. I have no doubt there would have been significant interest into solving the problem even if Fermat had never written his "I have a proof but it's too big to fit in the margin" note.
I have to agree. Even if it hadn't been designated as Fermat's Last Theorem, the problem would likely have ended up in some comparable list of interesting conjectures (e.g. Hilbert's problems, the Erdős problems, the Millennium Prize problems, etc).