L’IA revendique une percée sur Navier–Stokes, mais les mathématiciens restent partagés

EElias

Alors, d’après IEEE Spectrum, l’annonce a marqué les discussions du Heidelberg Laureate Forum, où des mathématiciens ont débattu de l’accélération des capacités de l’intelligence artificielle en mathématiques et de ses conséquences pour la discipline. OpenAI y revendique une résolution du problème d’existence et de régularité de Navier–Stokes. Ce problème fait partie des 7 problèmes du prix du millénaire, proposés par le Clay Mathematics Institute en 2000. L’enjeu est donc considérable, mais il faut garder une distinction essentielle : l’annonce d’une résolution n’équivaut pas à une preuve vérifiée. IEEE Spectrum précise que cette résolution reste à examiner. Pour l’instant, on peut parler d’une revendication potentiellement majeure, pas d’un résultat établi. Et c’est précisément cette différence entre annonce et validation qui nourrit le débat parmi les mathématiciens.

EElias

Bon, une particularité des mathématiques, c’est qu’un raisonnement peut être construit étape par étape et qu’une réponse peut, en principe, être vérifiée de manière objective. C’est ce qui en fait un terrain exigeant pour évaluer les capacités de l’intelligence artificielle : il ne s’agit pas seulement de produire une phrase qui semble convaincante, mais d’arriver à un résultat dont le raisonnement peut être contrôlé. Les débats du Heidelberg Laureate Forum témoignent justement de l’attention portée à cette évolution et à ses conséquences pour la discipline. Les progrès des systèmes y ont été au centre des échanges entre mathématiciens. Navier–Stokes attire particulièrement l’attention parce que le problème appartient à une série de défis réputés très difficiles. Sur les 7 problèmes du millénaire, l’article d’IEEE Spectrum rappelle qu’un seul, la conjecture de Poincaré, avait été résolu par des humains. Cela donne la mesure de l’enjeu, sans préjuger de la validité de l’annonce d’OpenAI.

EElias

Le médaillé Fields Jacob Tsimerman a salué la progression rapide des capacités de l’intelligence artificielle. À propos de Navier–Stokes, il a qualifié le résultat de potentiellement décisif, tout en disant ne pas en connaître les détails. C’est une réaction qui souligne l’importance possible de l’annonce, mais qui ne constitue pas une vérification de la preuve. IEEE Spectrum évoque aussi d’autres sujets, en prenant soin de rapporter certaines pistes comme incertaines. Anthropic aurait utilisé en août une version non publiée de Claude pour travailler sur l’hypothèse de Riemann. Les progrès mentionnés concerneraient un problème connexe, et non l’objectif principal. Le même article indique qu’OpenAI se concentrerait sur la conjecture de Hodge. Ces deux éléments sont rapportés au conditionnel : ils ne permettent pas d’affirmer que ces laboratoires ont résolu ces problèmes. L’article rapporte également que certains mathématiciens jugent inévitable que des problèmes du millénaire soient bientôt résolus par l’intelligence artificielle. Cela reste une anticipation attribuée à ces chercheurs, et non une échéance certaine.

EElias

The Verge décrit une année durant laquelle OpenAI, Anthropic et d’autres laboratoires ont annoncé des percées sur des problèmes mathématiques de longue date, parmi lesquelles figure la résolution revendiquée d’un problème du millénaire. Le média indique que ces annonces ont provoqué des réactions négatives dans la communauté mathématique, alors que certains résultats auraient pu être accueillis comme des avancées importantes. Cela montre que le débat ne porte pas uniquement sur les capacités des systèmes, mais aussi sur la manière dont les annonces sont reçues et évaluées. Dans le cas de Navier–Stokes, le point central reste que la résolution annoncée doit encore être vérifiée. The Verge rapporte que les laboratoires disent tirer les leçons de leurs erreurs antérieures et promettent de mieux faire. Mais le média précise qu’il reste à voir si ces engagements seront suivis d’effet. Il faut donc séparer les réactions rapportées, les promesses des entreprises et le statut mathématique de chaque résultat. Ce sont des questions liées, mais elles ne répondent pas les unes aux autres : une réaction critique ne prouve pas qu’une démonstration est fausse, et une annonce spectaculaire ne la valide pas.

EElias

Pour trancher, il faut que la preuve annoncée soit examinée et vérifiée : c’est le point qui manque encore dans les informations rapportées par IEEE Spectrum. Jacob Tsimerman a reconnu la progression rapide des capacités de l’intelligence artificielle et le caractère potentiellement décisif de l’annonce, mais il a aussi précisé qu’il n’en connaissait pas les détails. Son appréciation ne remplace donc pas l’examen de la démonstration. Plus largement, les mathématiques offrent des résultats qui peuvent être contrôlés étape par étape, ce qui permet de confronter une annonce à ses arguments. Mais le fait qu’un résultat soit vérifiable en principe ne signifie pas que sa vérification est déjà faite. Il faut tenir ensemble deux constats : les systèmes d’intelligence artificielle progressent rapidement dans ce domaine, et la revendication d’OpenAI reste à contrôler. Si la preuve est vérifiée, l’annonce pourrait constituer une avancée majeure. Tant que cet examen n’a pas abouti, il est plus juste de parler d’une résolution revendiquée. Le débat au Heidelberg Laureate Forum et les réactions rapportées par The Verge montrent aussi que la communauté s’interroge sur les conséquences de ces progrès.