Is there a proof that $\pi \times e$ is irrational?

number-theory pi irrational-numbers

It is not known whether $\pi + e$ is irrational, nor whether $\pi \times e$ is irrational. See $\# 22$ here.

Related

Continuous function positive at a point is positive in a neighborhood of that point
Prove that $e^x\ge x+1$ for all real $x$ [duplicate]
Primary decomposition of a monomial ideal
Generated $\sigma$-algebras with cylinder set doesn't contain the space of continuous functions
regularization of a divergent integral
The number $(3+\sqrt{5})^n+(3-\sqrt{5})^n$ is an integer
Convergence of tetration sequence.
Showing that $|f(z)| \leq \prod \limits_{k=1}^n \left|\frac{z-z_k}{1-\overline{z_k}z} \right|$
How to expand $\tan x$ in Taylor order to $o(x^6)$
Limit involving binomial coefficients: $\lim_{n\to\infty}\left(\binom{n}{0}\binom{n}{1}\dots\binom{n}{n}\right)^{\frac{1}{n(n+1)}}$
Without appealing to choice, can we prove that if $X$ is well-orderable, then so too is $2^X$?
Is $\sqrt x$ continuous at $0$? Because it is not defined to the left of $0$