中国象棋真的被软件破解了吗？

到底什么叫“破解”?
打败人类就能叫破解吗，太高看人类了。
破解游戏应该是Solved game，分为极弱、弱、强。棋类(这里特指双人完全信息有限零和无运气棋类) 的极弱破解其实就是理论上证明存在一方必不败或必胜走法(策梅洛定理)。
棋类的弱破解就是在初始局面，确保其中一个玩家必胜或必不败，穷尽对方的一切应对。
棋类强破解就是在任意局面下，都可以准确知道这个局面的结果，且穷尽所有可能的应对。
就这个定义而言，象棋远远谈不上弱破解，因为即使只穷尽一边，目前也是不可能的。只有残局库穷尽了一些少的子力组合，比如象棋的车炮对马炮士象全(目前最大体积的子力组合) 等等。国际象棋的7子残局库、国际象跳棋的9子残局库
而被弱破解或强破解的较为有名的棋类，比如
弱破解了英国跳棋(美国跳棋)，8*8棋盘(实际上只有32个格子有用)，双方共24个子。初始局面双方必不败。
弱破解了原始五子棋和禁手五子棋，初始局面下黑方必胜。
弱破解了大君国象和antichess(反国象)，前者黑必胜，后者白必胜。
弱破解了4*4与 6*6的黑白棋，后手必胜。(4*4应该完全可以强破解，因博弈树不大，引擎可以开局一秒破解必胜着法。)
弱破解了7*7的围棋(没有严格证明)
强破解了井字棋