TECHNOLOGY

Modèle d'IA d'OpenAI résout le problème mathématique du millénaire de Navier-Stokes

PUBLISHED Sep 8, 2026, 8:17 PM ET

Read, Watch or Listen

Modèle d'IA d'OpenAI résout le problème mathématique du millénaire de Navier-Stokes

Media Bias Meter

Sources: 25

Left 12%

Center 80%

Right 8%

Sources: 25

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.

By Sarah Whitman | JQJO News

Timeline of Events

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.

News Intelligence

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.

Media Bias

Articles Published:: 25
Right Leaning:: 2
Left Leaning:: 3
Neutral:: 20

Explain Framing

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.