Chess, Go, and gomoku are proven to have unbeatable strategies (Zermelo's theorem). The theorem proves they exist—not what they are. In gomoku, the winning strategy is known, so tournaments use modified rules.