もう20年くらい、大きな進歩なし、たぶん人間の能力の限界に達している
2,30年後、AIがIQ10000に到達し概念や数式を扱えるようになるとまた進歩が始まるのでは
理論はAI、検証は人間の時代がくる