Une IA aurait généré une démonstration portant sur un problème mathématique ancien associé aux équations de Navier‑Stokes, d’après un article de La Recherche. Le signalement mentionne qu’un modèle développé par OpenAI a produit des éléments susceptibles d’apporter une réponse à une question de longue date sur le comportement des fluides décrits par ces équations.

Les équations de Navier‑Stokes servent de cadre mathématique pour décrire l’écoulement des fluides dans de nombreux domaines, de l’aéronautique à la météorologie. Certaines conjectures liées à l’existence, l’unicité ou la régularité de leurs solutions figurent parmi les questions les plus difficiles en mathématiques contemporaines; l’une d’entre elles est même inscrite parmi les problèmes du Millénaire. La portée d’une démonstration rigoureuse serait donc considérable pour la théorie et ses applications.

La communauté scientifique souligne toutefois la nécessité d’une vérification indépendante. Une production algorithmique, même convaincante, doit être soumise à l’examen critique des mathématiciens, à la relecture formelle et, si possible, à une formalisation informatique pour établir sa validité. Les procédures de validation comprennent l’analyse détaillée des étapes de raisonnement, la reproduction des calculs et la publication dans des revues spécialisées permettant un contrôle par les pairs.

Au-delà du résultat mathématique lui‑même, ce signalement met en lumière le rôle croissant de l’intelligence artificielle dans la production de connaissances formelles et les défis associés à la transparence, la reproductibilité et la communication des preuves. Si la démonstration se confirme, elle posera des questions sur les outils et les protocoles à mettre en place pour intégrer les contributions automatisées dans le travail scientifique traditionnel. En attendant, les spécialistes appellent à la prudence et à une évaluation rigoureuse avant toute conclusion définitive.