OpenAI a franchi une étape majeure en annonçant que ses agents d'intelligence artificielle ont résolu l'un des sept problèmes du prix du millénaire : le problème d'existence et de l'adéquation des solutions des équations de Navier-Stokes. Cependant, cette prouesse technologique est aujourd'hui entachée par une vive controverse concernant l'origine des travaux et l'éthique de la recherche scientifique à l'ère de l'IA.

Qu'est-ce que le problème de Navier-Stokes ?

Les équations de Navier-Stokes décrivent le mouvement des fluides (eau, air, etc.). Bien que fondamentales en physique et en ingénierie, les mathématiciens ignoraient jusqu'à présent si ces équations pouvaient, dans certaines conditions extrêmes, « se briser » et prédire des états impossibles, comme une vitesse de fluide infinie.

La résolution revendiquée par OpenAI indique que les équations complètes peuvent effectivement s'effondrer. Ce résultat a été obtenu via un modèle interne ultra-performant, dépassant les capacités du modèle Astra récemment publié.

Une controverse sur le crédit et la collaboration

Le succès d'OpenAI est assombri par les accusations du mathématicien Tristan Buckmaster (NYU) et de Levent Alpöge (employé chez Anthropic). Ces chercheurs travaillaient sur une version simplifiée du problème en utilisant des modèles publics d'OpenAI et d'Anthropic. Ils accusent OpenAI d'avoir utilisé leurs travaux — et potentiellement les transcriptions de leurs interactions avec les modèles — comme point de départ sans les créditer.

Points clés de la discorde :

• Accès aux données : Buckmaster soupçonne que les modèles d'OpenAI ont été entraînés ou ont eu accès aux données de ses propres recherches via les plateformes de l'entreprise.
• Pression institutionnelle : OpenAI aurait proposé à Buckmaster une publication commune à condition d'exclure Alpöge, en raison de son affiliation à Anthropic, leur principal rival.
• Déni d'OpenAI : La direction de la recherche d'OpenAI, représentée par Mark Chen, nie toute utilisation illégitime, tout en admettant avoir été « inspirée » par les rumeurs sur les travaux des deux chercheurs.

L'IA : Nouvelle frontière ou fin de la mathématique humaine ?

Ce dossier souligne un changement de paradigme. Jusqu'alors, les mathématiques reposaient sur la collaboration ouverte et la transparence. Aujourd'hui, elles semblent devenir le domaine exclusif de quelques « Frontier AI Companies » (OpenAI, xAI, Anthropic) disposant de ressources colossales.

Le célèbre mathématicien Terence Tao a exprimé ses inquiétudes, soulignant que résoudre des problèmes par IA sans transparence peut « contaminer » le processus de découverte mathématique. En mathématiques pures, le chemin importe souvent plus que la destination.

OpenAI, Anthropic et l'ombre de Grok (xAI)

Dans ce paysage ultra-concurrentiel, OpenAI et Anthropic ne sont pas seuls. xAI, la société d'Elon Musk, développe également la famille de modèles Grok. Contrairement au produit grand public Grok accessible sur X, les capacités de recherche avancées via l'API xAI visent à rivaliser avec les modèles de raisonnement d'OpenAI.

Bien que le modèle Grok n'ait pas encore revendiqué de prix du millénaire, la course à la « recherche de vérité » mathématique est au cœur de la stratégie de xAI. La distinction est cruciale : là où OpenAI utilise des modèles internes massifs pour la force brute, l'industrie attend de voir si des modèles comme Grok ou Claude (Anthropic) favoriseront une approche plus collaborative ou resteront dans des silos privés.

FAQ : Comprendre l'affaire Navier-Stokes

Q : OpenAI va-t-elle toucher le prix d'un million de dollars ?
Non, l'entreprise a déclaré qu'elle ne comptait pas réclamer le prix du Clay Mathematics Institute.

Q : L'IA a-t-elle vraiment « compris » le problème ?
C'est le débat. Pour beaucoup, l'IA a utilisé la « force brute » (millions de dollars de calcul) pour trouver une preuve, là où un humain utilise l'intuition et le goût scientifique.

Q : Est-ce que les modèles comme Grok ou GPT-4 peuvent aider les étudiants en maths ?
Oui, mais comme le montre l'affaire Buckmaster, l'utilisation de ces outils pour de la recherche de pointe pose des questions inédites de propriété intellectuelle sur les découvertes générées par ou avec l'IA.

Conclusion
Si la résolution du problème de Navier-Stokes est confirmée, nous entrons dans une ère où les plus grands mystères de l'univers pourraient être résolus par des machines privées. Le défi sera de s'assurer que ces découvertes profitent à l'humanité entière et non seulement aux actionnaires des géants de la technologie."
technologie."
.