Is there any proof on whether pi or e can be written down as in Hilbert's conjecture, i.e., a^b, with a rational and b irrational?