« C'est la fin d'un monde, celui des mathématiques artisanales » : la mathématicienne Sylvia Serfaty réagit à la preuve d'OpenAI sur un problème du millénaire

OpenAI, une entreprise spécialisée dans l'intelligence artificielle, a annoncé avoir résolu un problème du millénaire, une catégorie de défis mathématiques considérés comme parmi les plus difficiles au monde.

Ces problèmes, au nombre de sept, ont été sélectionnés en 2000 par l'Institut Clay (États-Unis) pour stimuler la recherche en mathématiques.

Chacun d'eux est doté d'un prix d'un million de dollars pour sa résolution.

Le problème en question n'est pas précisé dans l'article, mais il s'agit d'une avancée majeure, car ces énigmes résistent depuis des décennies aux efforts des mathématiciens du monde entier.

Cette preuve marque un tournant, car elle a été obtenue grâce à des outils d'intelligence artificielle, et non par des méthodes traditionnelles, dites artisanales.