Parte del séptimo de los veintitrés problemas de Hilbert planteados en 1900 consistía en demostrar (o, en su caso, encontrar un contraejemplo que refutase la conjetura) que "a" siempre es trascendente para todo número algebraico "a"≠0,1 y para todo número algebraico irracional "b".