すべての〜予想ってのは時間が経てば証明できるんですか?
あるいは
解けないことが証明された問題とかってあるの?