>>837
というか、AIの弾きだした答えを有限時間以内で最適解か否かを人間が判定するのは困難なのでは?