エレファントな4色問題。エレガントな証明はまだ(まだかよ！)無いのだそーで、「他の問題との関係性に乏しいことも数学者の間で人気がない理由」だそう。素人感覚的にはすごい使えそうなイメージあるのになあ