Post Made Community Wiki by Scott Morrison
2 edited tags
1

# If 2^x and 3^x are integers, must x be as well?

I'm fascinated by this open problem (if it is indeed still that) and every few years I try to check up on its status. Some background: Let $x$ be a positive real number.

1. If $n^x$ is an integer for every $n \in \mathbb{N}$ then $x$ must be an integer. This is a fun little puzzle.
2. If $2^x$, $3^x$ and $5^x$ are integers then $x$ must be an integer. This requires fairly sophisticated tools, and can be derived from the results in e.g. Lang, Algebraic values of meromorphic functions. II., Topology 5, 1966.
3. Finally, if all you know is that $2^x$ and $3^x$ are integers, then as far as I know it is not known if $x$ is forced to be an integer (unbelievable, isn't it?). Although of course one can never be certain, I am quite sure this was still the case as recently as 2003.

So the question is, is that still an open problem, and is there any sort of relevant progress that may provide some hope?