"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."