I was actually going to ask the same question... and in particular if the result would follow as the consequence of any hard, still open conjecture. From the MO thread mentioned by lhf (not the same as the one mentioned by mixedmath) I found out that Schanuel's conjecture would imply it.

On the Mathworld page for $e$ there's a bit of info on numerical attempts to (how should I say?) verify that you cannot easily disprove the irrationality:

It is known that $\pi+e$ and $\pi/e$ do not satisfy any polynomial equation of degree $\leq 8$ with integer coefficients of average size $10^9$.

Obtaining this result in 1988 required the use of a Cray-2 supercomputer (at NASA Ames Research Center). I guess one could add that the Ferguson–Forcade algorithm, which was used in this computation, gets a bit of flak on Wikipedia. In fact, the author of this paper, D.H. Bailey, later co-developed the superior PSLQ algorithm. So it is interesting that the problem has advanced computational science too, in a way.