本を10億冊読んだ人とP≠NP予想を独力で証明した人はどっちの方が賢いですか?