GK問題はいつ解決するの?