Gomoku

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.