It is cool how even for such a "simple looking" problem, we were still unable to prove optimality as of 2020.
Given stuff like arxiv.org/pdf/2107.12475.pdf on Erdős' conjecture on powers of 2, it feels like this one will be somewhere close to computer science/Halting problem issues than number theory. Who knows. This is suggested e.g. at The Busy Beaver Competition: a historical survey by Pascal Michel.
There's a billion simple looking expressions which are not known to be transcendental numbers or not. It's cute simple to state but hard to prove at its best.
Open as of 2020:
Bibliography:
- www.quantamagazine.org/recounting-the-history-of-maths-transcendental-numbers-20230627/ How Math Achieved Transcendence by David S. Richeson (2023).