Extensions[edit]
Baker's theorem grants us the linear independence over the algebraic numbers of logarithms of algebraic numbers. This is weaker than proving their algebraic independence. So far no progress has been made on this problem at all. It has been conjectured[3] that if λ1, ..., λn are elements of that are linearly independent over the rational numbers, then they are algebraically independent too. This is a special case of Schanuel's conjecture, but so far it remains to be proved that there even exist two algebraic numbers whose logarithms are algebraically independent. Indeed, Baker's theorem rules out linear relations between logarithms of algebraic numbers unless there are trivial reasons for them; the next most simple case, that of ruling out homogeneous quadratic relations, is the still open four exponentials conjecture.
Similarly, extending the result to algebraic independence but in the p-adic setting, and using the p-adic logarithm function, remains an open problem. It is known that proving algebraic independence of linearly independent p-adic logarithms of algebraic p-adic numbers would prove Leopoldt's conjecture on the p-adic ranks of units of a number field.