Olivier Benoist (École Normale Supérieure de Paris)

Le 17ème problème de Hilbert, résolu en 1927 par Artin, affirme que tout polynôme réel qui ne prend que des valeurs positives est une somme de carrés. La positivité des sommes de carrés est donc la seule source d’inégalités polynomiales ! Je présenterai l’histoire de cette question, des développements récents, et des problèmes ouverts d’énoncés élémentaires.