The podcast explores the life of a mysterious mathematician who exchanged letters with his correspondents and proved special cases of a particular theorem that he talked to others about.