でも、リーマン予想もそろそろ証明されるという話もチラチラ聞くし。