AIが自律的に理論を積み上げることができるようになったとする
その過程で人間の未解決問題が解けてしまうことがあるだろう
人間はその形式証明が正しいことは分かるが、内容を理解するのは困難である

そういう未来が来るのではないか