リーマン予想が解決される見込みはあるのでしょうか。
今の進展具合を教えてください。