It is an open problem to prove that $\pi$ and $e$ are algebraically independent over $\mathbb{Q}$.


* What are some of the important results leading toward proving this?
* What are the most promising theories and approaches for this problem?



Work on independence of pi and e
People in model theory are currently studying the complex numbers with exponentiation.
Z'ilber has an axiomatisation of an exponential field (field with exponential function) that looks like the complex numbers with exp. but satisfies Schanuel's conjecture.
He proved that there is exactly one such field of the size of $\mathbb C$.
I would find it odd if Z'ilber's field turned out to be different from the complex numbers.


By results of Wilkie, the reals with exponentiation are well understood, and the complex numbers with exponentiation is in some way the next step up. The model theoretic frame work
(o-minimality) that works for the reals with exp. fails for the complex numbers, but there might be a similar theory that works for the complex field with exponentiation.


