La conjetura fue demostrada por primera vez en 1909 por David Hilbert conociéndose actualmente como el teorema de Hilbert-Waring.