Résolution d'une équation historique par l’IA

La résolution d’un problème mathématique de longue date par un ordinateur marque une étape importante dans l’évolution de l’intelligence artificielle. Cette capacité à aborder des énigmes complexes, longtemps considérées comme hors de portée des machines, ouvre de nouvelles perspectives pour la recherche et le développement dans divers domaines, allant de la conception aéronautique à la modélisation des phénomènes naturels.

Les récentes avancées en matière d’IA, notamment grâce au modèle GPT-6 Astra, permettent désormais l’utilisation combinée de plusieurs agents d’intelligence artificielle pour résoudre des problèmes complexes. Cette approche collaborative, impliquant près de 10 000 agents travaillant simultanément, a permis d’accélérer considérablement le processus de recherche et de validation.

Les faits

OpenAI a annoncé avoir résolu l’un des “problèmes du millénaire”, lié à la mécanique des fluides, en utilisant un de ses modèles d’intelligence artificielle (GPT-6 Astra). L’entreprise affirme que quatre-vingt-huit heures d’opérations ont été nécessaires pour démontrer une rupture dans les solutions des équations de Navier–Stokes. Ces équations sont couramment utilisées pour décrire le mouvement des fluides, notamment des gaz et des liquides présentant des degrés de viscosité variés. Cette résolution a été réalisée grâce à la collaboration de plusieurs agents d’IA.

Parallèlement, Anthropic a annoncé avoir “formalisé” la démonstration du dernier théorème de Fermat en seulement onze jours, également grâce à un prototype avancé de son modèle d’intelligence artificielle (Claude). La preuve apportée par un humain dans les années 1990 a été confirmée par l’IA. Le dernier théorème de Fermat, énoncé en 1637 par Pierre de Fermat, stipule qu’il n’existe pas de nombres entiers positifs a, b et c qui vérifient l’équation aⁿ + bⁿ = cⁿ, où n est un entier supérieur à 2.

Les acteurs

OpenAI, leader dans le développement d’IA avancées, a été la première entreprise à annoncer la résolution de cette équation historique. Mark Chen, responsable de la recherche chez OpenAI, a souligné l’importance de cet exploit pour la recherche en IA et la capacité de répondre à d’autres questions complexes. Anthropic, concurrent direct d’OpenAI, a également joué un rôle clé dans ce domaine avec le développement du modèle Claude, capable de “formaliser” la démonstration du dernier théorème de Fermat.

Réactions

L’annonce de ces résolutions par l’IA a suscité des réactions contrastées au sein de la communauté scientifique et technique. Certains chercheurs expriment leur enthousiasme quant aux perspectives offertes par l’IA pour accélérer la recherche dans des domaines complexes, tandis que d’autres soulignent la nécessité d’une vigilance accrue concernant les biais potentiels et les implications éthiques de ces technologies.

Des sources indiquent également une certaine méfiance au sein de certains milieux scientifiques, notamment en raison de la manière dont OpenAI s’est intéressée aux travaux de chercheurs travaillant sur le problème depuis des mois.

Enjeux

La résolution de ces problèmes mathématiques par l’IA soulève des questions fondamentales sur le rôle de l’intelligence humaine dans la recherche scientifique et sur les limites de l’automatisation intellectuelle. Elle met également en évidence la compétition intense entre les entreprises développant des IA avancées, chacune cherchant à établir sa suprématie dans ce domaine en pleine expansion.

De plus, ces avancées ouvrent la voie à de nouvelles applications potentielles de l’IA dans d’autres domaines scientifiques et techniques, notamment dans la conception de matériaux, la modélisation climatique ou encore le développement de nouveaux médicaments.

Ce qu’il faut retenir

• L’intelligence artificielle a résolu, en moins de quatre jours, une équation mathématique millénaire liée à la mécanique des fluides, grâce à l’utilisation combinée de 10 000 agents d’IA.
• Anthropic a formalisé la démonstration du dernier théorème de Fermat en seulement onze jours, grâce à son modèle d’intelligence artificielle Claude.
• Ces avancées soulèvent des questions sur le rôle de l’humain dans la recherche scientifique et intensifient la compétition entre les entreprises développant des IA avancées.