确实应该问到数学板块。这其实在博弈论中早有相关理论：完全极大极小策略。
先说结论吧：目前无法得出象棋先手必胜的结论。象棋可能是先手必胜，也可能先手必和，也可能先手必负（具体是什么情况，目前人类的计算机还算不出来，但肯定是其中之一）。下面详解：
首先用完全极大极小策略需要2个条件：1.游戏中没有随机因素，每局都是一样的（像扑克牌每局抽的牌不一样，那不行）。2.游戏一定会在有限步内结束。象棋满足这两个条件：1.显然，象棋每局开局都一样，中间也没有洗牌扔骰子之类的过程。2.加上一些规则限制，例如局面重复算和棋，或者多少步以后算和棋，象棋能保证在有限步内结束。
然后开始构造策略树。首先开局是根节点，假设A先手，B后手。开局后A有若干种走法，每种走法构成的局面都是根节点的子节点，对于每种子节点，B有若干种应对方法，每种方法对应的局面成为该子节点的子节点.....如此下去，一棵树就构造出来了。由于游戏在有限步内结束，最后所有的分支的末端都有胜负。给所有的末端赋值：A胜取1，B胜取-1，和棋取0。然后从末端向前推算，对每个子节点赋值：假设某个节点是轮到A下了，A当然取几个子节点中值最大的作为该节点的值（也就是A足够聪明，用对应的应对方法，使局面变成对自己最有利的那个分支）；假设某个节点是轮到B下了，B当然取几个子节点中值最小的作为该节点的值。....最后这么一步步推回去，“开局”这一局面的值必为1或-1或0，理论上总是能求出来的。假如是1，说明先手必胜；假如是-1，说明先手必败；假如是0，说明必为和棋。
先手必胜先手必败，必为和棋的游戏都是存在的，象棋必然也属于其中一种。通过现有观察也无法确定到底是哪一种。
