Un poco de lectura sugiere:
Se sabe que $\pi + e$ o $\pi \times e$ es trascendental (o incluso ambos), pero no hay pruebas de que se sabe que uno de esos dos números, en particular, es trascendental.
Si sólo queremos la irracionalidad en lugar de la trascendencia, es una prueba conocida?
Podemos probar de $\pi+e$ es irracional? Podemos probar de $\pi \times e$ es irracional?