OpenAI a annoncé avoir résolu plus de 100 problèmes mathématiques ouverts, dont le problème de Navier-Stokes, l’un des sept Défis du Millénaire du Clay Mathematics Institute. La société prévoit de publier sur GitHub des centaines de preuves formelles rédigées en Lean 4, après avoir déjà mis en ligne les solutions de 10 problèmes en août 2026. OpenAI consulte son groupe consultatif en mathématiques et en intelligence artificielle pour gérer la publication de manière responsable, mais aucune date précise n’a été fixée. La communauté mathématique s’inquiète du rythme de publication des preuves générées par l’intelligence artificielle et des questions de reconnaissance du mérite. La publication par GitHub plutôt que dans une revue scientifique soulève aussi des interrogations sur le processus de validation.
Source: Lire l’article original
