Navier-Stokes, conjecture de Poincaré... : quels sont ces fameux problèmes du millénaire

L'Institut de mathématiques Clay a établi en 2000 sept problèmes majeurs, doté chacun d'une récompense d'un million de dollars pour quiconque les résoudrait complètement. À ce jour, un seul a été pleinement résolu. Ces défis incarnent les plus grandes énigmes des mathématiques modernes et concentrent les efforts des chercheurs depuis des décennies.

L'article examine en détail plusieurs de ces problèmes. L'hypothèse de Riemann, énoncée en 1859, concerne la distribution des nombres premiers : elle affirme que toutes les solutions intéressantes d'une certaine équation se situent sur une droite verticale précise. Dix mille milliards de solutions ont été vérifiées, mais la preuve générale reste introuvable. Le problème P=NP demande s'il est aussi facile de résoudre un problème que de vérifier une solution proposée – une question centrale en informatique théorique. Les équations de Navier-Stokes, décrivant le mouvement des fluides, nécessitent de trouver des solutions uniques et d'en établir l'existence globale.

Récemment, l'intelligence artificielle a fait des progrès notables sur ces énigmes. Anthropic a augmenté de 41,6 % à 67,2 % la proportion connue de zéros de la fonction zêta de Riemann vérifiant l'hypothèse, bien que cela ne constitue pas une preuve complète. Ces avancées technologiques suscitent des débats au sein de la communauté mathématique sur l'attribution des découvertes et les enjeux de la coopération scientifique.