Modèle d'IA d'OpenAI résout le problème mathématique du millénaire de Navier-Stokes
Tap title to read story
OpenAI a annoncé qu'un modèle avancé d'intelligence artificielle non publié a résolu le problème de l'existence et de la régularité de Navier-Stokes, l'un des sept problèmes du prix du millénaire établis par le Clay Mathematics Institute. Environ 10 000 agents d'IA autonomes fonctionnant en parallèle ont terminé la solution sur une période de 88 heures, en utilisant d'importantes ressources informatiques. La preuve démontre que les équations de Navier-Stokes tridimensionnelles modélisant la dynamique des fluides peuvent développer une singularité en temps fini. OpenAI a publié à la fois la preuve analytique et une formalisation vérifiée par machine écrite en Lean. L'annonce a immédiatement suscité l'attention et un différend sur la priorité de la part du mathématicien de l'Université de New York Tristan Buckmaster et de Levent Alpöge, un chercheur chez Anthropic. Buckmaster a déclaré qu'OpenAI avait accéléré ses recherches après avoir découvert que lui et Alpöge étaient proches d'une percée sur des équations connexes, et a remis en question si OpenAI avait utilisé des données utilisateur provenant de leurs interactions avec les services OpenAI. OpenAI a nié avoir accédé à des données utilisateur privées ou à des prépublications non publiées, affirmant que son modèle interne avait obtenu des résultats indépendamment.
More context
Timeline
- Le 24 mai 2000, l'Institut Clay a annoncé les problèmes du millénaire.
- Le 28 août 2026, OpenAI a initié l'entraînement de nouveaux modèles.
- Le 1er septembre 2026, OpenAI a évalué les problèmes ouverts du millénaire en mathématiques.
- Le 8 septembre 2026, OpenAI a annoncé publiquement la preuve de Navier-Stokes.
- Le 8 septembre 2026, des chercheurs ont publié des preuves analytiques et en Lean.
- Le 8 septembre 2026, le mathématicien Tristan Buckmaster a soulevé des litiges de priorité.
- Le 8 septembre 2026, OpenAI a nié utiliser des données utilisateur non publiques.
- Le 9 septembre 2026, des mathématiciens indépendants ont commencé à examiner les preuves formelles.
- Le 9 septembre 2026, les communautés scientifiques ont débattu des capacités avancées de l'IA.
- Dans les mois à venir, des mathématiciens du monde entier examineront minutieusement les preuves.
Why it matters
Impact immédiat pour les États-Unis : Renforce la crédibilité américaine dans le domaine de l'intelligence artificielle pour les applications de recherche scientifique avancée. Impact américain à long terme possible : Accélère la découverte mathématique automatisée dans les laboratoires universitaires et d'entreprise du monde entier. Groupes les plus touchés : Mathématiciens, chercheurs en intelligence artificielle, entreprises technologiques et institutions universitaires à l'échelle nationale. Priorités pour le lecteur : Surveiller de près les principaux serveurs de preprints et les réponses universitaires indépendantes par des pairs.
Coverage notes
Gauche : Met l'accent sur la concurrence des entreprises, la controverse sur les données et les questions de sécurité éthique soulevées. Centre : Se concentre sur la mécanique technique, les essaims d'agents et les détails de vérification mathématique. Droite : Souligne la domination technologique, le potentiel de valorisation du marché et la vitesse de l'avancée scientifique.
Primary report
Le 8 septembre 2026, OpenAI a publié un article de blog annonçant une preuve.
Sources
JQJO Editorial Desk · Human reviewed · AI assisted. Report a correction.
