自动化所研制兵棋推演系统“CASIA-先知V1.0”以7:1战胜人类选手