In games with Colonies, the emptying of the Province pile should not end the game. If it is the THIRD pile to be depleted from the supply, then yes the game should end.
But when Colonies/Platinum are in play, the game should end when the COLONIES are fully bought OR three other supply piles are empty.
I've lost several games against bots because they're programed to just consume whatever victory point they can afford.
Most recent game #103174378