From polynomials to sums of squares. (2023)