|
|
|
|
|
by bambax
4 days ago
|
|
> NOVA: So Fermat's original proof is still out there somewhere. > AW: I don't believe Fermat had a proof. I think he fooled himself into thinking he had a proof. But what has made this problem special for amateurs is that there's a tiny possibility that there does exist an elegant 17th-century proof. Yes, it's generally accepted that Fermat didn't in fact have a proof, with the tools available to him at the time. But wouldn't it be cool to send some AI on this chase and see what comes back? Is anyone attempting this? |
|