AlphaZero-based Proof Cost Network to Aid Game Solving