Hilbert's seventeenth problem

Hilbert's seventeenth problem, formulated by the mathematician David Hilbert in 1900, asks whether every non-negative polynomial in real variables can be represented as a sum of squares of rational functions.