Tu suis la course aux modèles IA ?
Chaque sortie (GPT, Claude, Gemini, Mistral…) décryptée le soir même, en 5 min. Gratuit.
Inclus dès l'inscription : notre sélection des meilleurs guides & comparatifs IA.
Choisis ton rythme
Gratuit · Pas de spam · Désabonnement en 1 clic
Une avancée majeure par OpenAI
Le modèle d'intelligence artificielle d'OpenAI a récemment réalisé une avancée significative en résolvant un problème mathématique qui avait résisté aux chercheurs pendant 80 ans. Ce défi, posé par le mathématicien hongrois Paul Erdős, portait sur la détermination du nombre maximal de paires de points pouvant être placées à une distance de 1 sur une surface plane. Jusqu'à présent, la communauté scientifique pensait que les constructions en grille étaient la méthode optimale pour maximiser ces paires de points.
Cependant, la nouvelle solution proposée par l'IA d'OpenAI a prouvé que cette hypothèse était erronée. Cette découverte représente une étape cruciale pour les communautés mathématiques et de l'intelligence artificielle. Selon OpenAI, c'est la première fois qu'un problème ouvert majeur dans un sous-domaine des mathématiques est résolu de manière autonome par une IA. Le créateur de ChatGPT a souligné que cela démontre la profondeur de raisonnement dont ces systèmes sont désormais capables.
Un modèle d'IA généraliste à l'œuvre
Ce qui rend cette découverte encore plus impressionnante, c'est qu'elle a été réalisée par un modèle d'IA généraliste d'OpenAI, et non par une technologie spécialement optimisée pour les mathématiques. Le modèle a été testé avec les problèmes posés par Erdős, et ses résultats ont été validés par des mathématiciens externes. Ces experts ont ensuite rédigé un article scientifique pour expliquer la démonstration.
Cette approche prudente contraste avec une annonce précédente d'OpenAI, où un responsable avait affirmé que GPT-5 avait résolu plusieurs problèmes d'Erdős, ce qui s'était avéré inexact. Cette fois-ci, la validation par des spécialistes, dont le chercheur Thomas Bloom, confère une crédibilité accrue à cette avancée. Bloom a qualifié cette réalisation de "plus impressionnante" dans le domaine des mathématiques par une IA à ce jour.
Validation et reconnaissance
OpenAI a pris soin de faire vérifier les résultats par des experts extérieurs avant de rendre publique cette découverte. L'année précédente, une annonce prématurée avait conduit à des critiques de la part de figures éminentes comme Yann LeCun et le patron de Google DeepMind. Aujourd'hui, la validation par des spécialistes tels que Thomas Bloom, qui gère un site dédié aux problèmes d'Erdős, renforce la crédibilité de cette avancée. Bloom a déclaré sur X qu'il s'agissait sans aucun doute de la plus impressionnante réalisation de l'IA en mathématiques à ce jour.
Implications pour l'avenir
La résolution de ce problème par une IA généraliste souligne le potentiel de ces technologies à transformer la recherche scientifique. En remettant en question des croyances établies depuis des décennies, cette découverte pourrait ouvrir de nouvelles perspectives dans l'étude des mathématiques et au-delà. Elle illustre également comment l'intelligence artificielle peut contribuer à des domaines traditionnellement dominés par l'expertise humaine.