Le contre-exemple
Un modèle d'OpenAI a réfuté une conjecture mathématique vieille de 80 ans. C'est une étape historique. Mais cela nous montre précisément ce que l'IA peut et ne peut pas faire.
Le problème était simple. Placer des points sur un plan plat. Combien de paires peuvent être séparées d'une unité ? Paul Erdős avait supposé qu'une grille spécifique était la meilleure façon d'y parvenir. Cette supposition a tenu pendant 80 ans.
L'IA a infirmé cette supposition. Elle n'a pas inventé une nouvelle façon de penser. Elle a trouvé un motif en construisant un réseau dans des dimensions supérieures, puis en le projetant à nouveau vers le bas. Elle a découvert un agencement spécifique qu'une grille ne peut égaler.
Ce succès révèle deux forces spécifiques de l'IA :
- Recherche sans biais : Les humains cessent souvent de chercher un contre-exemple s'ils sont convaincus qu'une théorie est vraie. L'IA n'a pas de telles convictions. Elle traque la solution même quand les humains abandonnent.
- Endurance extrême : Les humains rationnent leur attention. Nous abandonnons les stratégies qui prennent trop de temps ou qui ne fonctionnent pas rapidement. Le modèle enchaîne des centaines de tentatives infructueuses sans se fatiguer.
L'IA a également fait preuve de portée. Elle a combiné la théorie algébrique des nombres et la géométrie discrète. La plupart des humains se spécialisent dans un seul domaine. Le modèle possède la littérature de tous les domaines à la fois. Il établit des connexions qu'un spécialiste pourrait manquer.
Cependant, il ne s'agit pas d'invention. Le modèle n'a pas créé de nouvel outil mathématique. Il a utilisé les mathématiques existantes pour trouver un résultat au sein d'un cadre existant. Il a cherché dans un espace défini un objet répondant à des règles connues.
La véritable invention mathématique est différente. C'est la capacité de créer un nouvel espace, de nouvelles contraintes ou un nouveau langage.
Le véritable test pour l'IA n'est pas le nombre de vieux problèmes qu'elle résout. Le véritable test est de savoir si un modèle crée une définition ou une méthode que les mathématiciens adoptent comme la leur.
Tant qu'un modèle ne génère pas un nouveau cadre, il reste un outil de recherche puissant plutôt qu'un créateur. L'avantage de la machine est qu'elle ne croit pas ce que nous croyons, et qu'elle ne se lasse pas de chercher.
Source : https://dev.to/thesythesis/the-counterexample-hd2
Communauté d'apprentissage optionnelle : https://t.me/GyaanSetuAi