IA et mathématiques : quand la solution pose problème

L'IA résout coup sur coup des conjectures mathématiques ouvertes depuis des décennies, bouleversant recherche et publications. La déclaration de Leyde alerte sur les valeurs mathématiques et les craintes de la communauté de chercheurs. Comment s’adapter à ce nouveau collaborateur scientifique ?

Résumé

L'IA bouleverse les maths

Depuis plusieurs mois, des entreprises de la Silicon Valley annoncent avoir résolu des problèmes mathématiques considérés comme insolubles depuis des décennies.

L'intelligence artificielle (IA) ne se contente plus de réfuter des hypothèses : elle produit désormais des preuves complètes pour des conjectures réputées introuvables.

Récemment, l'IA a même résolu l'un des problèmes du millénaire, une liste de sept défis mathématiques jugés si complexes qu'une solution validerait automatiquement un prix d'un million de dollars.

Ces avancées, spectaculaires, remettent en cause les méthodes traditionnelles de recherche en mathématiques, où les découvertes passent habituellement par des revues scientifiques et des débats entre experts.

Les outils d'IA, comme ceux développés par OpenAI, fonctionnent en analysant des quantités massives de données mathématiques et en identifiant des motifs ou des schémas que l'esprit humain ne perçoit pas toujours.

Cette rapidité et cette efficacité posent une question fondamentale : comment intégrer ces nouveaux acteurs dans un domaine aussi rigoureux et collaboratif que les mathématiques ?