Aujourd'hui, on ne va pas parler de génération de texte ou de simples résumés de réunions, mais d'une véritable rupture fondamentale dans le monde des mathématiques.

Une intelligence artificielle interne d'OpenAI vient en effet de réfuter une hypothèse mathématique historique, vieille de près de 80 ans.

Un problème vieux de 1946

Concrètement, le problème géométrique dit des distances unitaires dans le plan a été formulé en 1946 par le célèbre mathématicien hongrois Paul Erdős.

La question semble basique. Si l'on place un nombre infini de points sur un plan, combien de paires de ces points peuvent être distantes d'exactement la même longueur.

Jusqu'ici, la communauté scientifique s'accordait sur une approche suggérant que ce nombre augmentait de manière linéaire.

Sauf qu'un modèle d'OpenAI vient d'invalider cette piste en introduisant une nouvelle démonstration issue de la théorie algébrique des nombres.

Bref, l'IA franchit un cap décisif. Elle ne se limite plus à compiler des données connues, elle devient capable de déceler les failles dans des raisonnements humains considérés comme fiables.

Mais attention, le véritable coup de force réside dans la nature même de l'outil employé.

Une IA généraliste

OpenAI a souligné que ce modèle n'est absolument pas une machine experte spécialisée dans les mathématiques.

Il s'agit d'un système généraliste, conçu pour exceller dans le raisonnement.

C'est un séisme car historiquement, s'attaquer à un problème scientifique de niche nécessitait d'entraîner une IA sur mesure, ce qui engloutissait des budgets très conséquents.

Aujourd'hui, ces modèles de fondation prouvent qu'ils peuvent adresser des défis de recherche fondamentale sans apprentissage ultra-spécialisé en amont.

Mais il faut tout de même garder la tête froide.

Le communiqué scientifique précise que le problème d'Erdős n'est pas encore entièrement résolu à ce stade.

Un jalon majeur pour les mathématiques assistées par ordinateur

L'algorithme a simplement démontré qu'un certain taux de croissance reste supérieur à zéro.

Mais des experts indépendants ont validé cette preuve et parlent d'un jalon majeur pour les mathématiques assistées par ordinateur.

Surtout, il convient de considérer désormais l'intelligence artificielle comme un copilote de laboratoire. Elle ne livrera pas forcément le produit fini clef en main, mais elle écartera rapidement les hypothèses de travail erronées.

De quoi faire gagner des mois de recherche à vos ingénieurs en identifiant de nouvelles voies de recherche.

Le ZD Tech est sur toutes les plateformes de podcast ! Abonnez-vous !

Hébergé par Ausha. Visitez ausha.co/politique-de-confidentialite pour plus d'informations.