Make Numbers. Win Prizes. Get Famous.

Welcome to TriX Game! The object of the game is to produce a single number. You always start with the number 1. On each of your turns you can apply one of two rules to your current number to construct another number, which becomes your new current number. The rules are called Inflate and Deflate, but we won't ruin your fun by telling you what they do. (You can easily figure that out by experimentation.)

It may require some study and investigation on your part to come up with an efficient strategy for beating this game at the higher levels of difficulty. (The level of difficulty corresponds roughly to the minimum number of turns required to win the game.)

Play TriX Game!

Game Components

As described in the Introduction, this game illustrates the basic features of a formal proof system.

The Math Behind the Fun

This game is closely related to a famous unsolved question in mathematics. In particular, it is not known whether this game can be won for EVERY positive whole number goal. It has been demonstrated by computer that this game can be won for all goal numbers less than $10^{17}$. If you can prove that there is a strategy for winning this game there are cash prizes available and you will certainly become famous! Remember that it isn't enough to come up with a strategy that seems to win every time you play the game, you must prove beyond a doubt that your strategy would win the game no matter what positive whole number is selected as the goal (even if the number is too large to actually fit in a computer).