将棋とかチェスのプログラムみたいな方法論で
未解決問題を証明することはできないでしょうか？