Révolution mathématique : des énigmes séculaires résolues grâce à l’intelligence artificielle

L’intelligence artificielle vient de franchir un cap spectaculaire dans le domaine scientifique. En une seule mise à jour, OpenAI prétend avoir dénoué des énigmes mathématiques qui ont résisté aux plus grands esprits pendant des décennies. La communauté scientifique, entre stupéfaction et prudence, tente d’appréhender l’ampleur de cette révolution annoncée.

Un déferlement de résultats mathématiques inédit

La plateforme GitHub accueille désormais 719 manuscrits scientifiques, regroupés en 372 familles de découvertes distinctes. Cette avalanche de résolutions représente un volume de travail qui aurait normalement nécessité des années, voire des siècles de recherches collectives.

Parmi ces problèmes résolus figurent des questions qui ont hanté les mathématiciens depuis plusieurs générations. L’ampleur du phénomène dépasse tout ce que la discipline a connu dans son histoire récente.

Des médailles Fields face à l’obsolescence de leurs travaux

Hugo Duminil-Copin, récompensé par la médaille Fields en 2022, constate avec stupeur que seize questions relevant de son domaine de recherche ont été élucidées. Il va jusqu’à affirmer que son champ d’investigation est désormais « annihilé ».

Cédric Villani, lauréat de cette même distinction prestigieuse en 2010, place l’événement dans une perspective historique vertigineuse. Selon lui, il s’agit du « changement le plus radical en mathématiques depuis au moins quatre siècles ».

3 500 pages à décortiquer

Malgré le choc, Duminil-Copin s’engage à examiner l’intégralité des 3 500 pages générées par l’intelligence artificielle. Il reconnaît toutefois que cette tâche lui procure peu d’enthousiasme.

La question cruciale de la fiabilité

L’euphorie doit composer avec la prudence méthodologique. Seulement 42 % des résultats présentés ont fait l’objet d’une vérification formelle via le système Lean, un outil de certification mathématique.

Cette proportion relativement faible soulève des interrogations légitimes sur la validité globale des travaux. D’ailleurs, trois articles ont déjà été retirés suite à la détection d’erreurs lors des contrôles.

Un précédent controversé

OpenAI avait auparavant créé la surprise en annonçant avoir résolu le problème de Navier-Stokes, l’un des sept défis mathématiques du millénaire. Cette prétention avait déjà suscité débats et vérifications au sein de la communauté scientifique.

Vers une appropriation collective des découvertes

Consciente des bouleversements induits, OpenAI s’est engagée financièrement pour faciliter la transition. L’entreprise financera des événements destinés à permettre aux mathématiciens de s’approprier ces nouveaux résultats.

Cette initiative se fera en partenariat avec un groupe indépendant rattaché à l’Institute for Advanced Study de Princeton, institution emblématique de la recherche mathématique mondiale.

La communauté scientifique se trouve ainsi à un carrefour : accepter cette accélération technologique tout en préservant la rigueur qui fonde sa discipline. Les mois à venir détermineront si cette révolution annoncée tient ses promesses ou nécessite d’importantes corrections.