À mesure que la technologie de l’IA se développe, les modèles qui en découlent commencent à fonctionner de la même manière que le cerveau humain. Les informaticiens travaillant chez DeepMind, une société appartenant à Google, ont créé deux nouveaux modèles d'IA capables de résoudre les problèmes mathématiques les plus complexes, ce qui, de l'avis unanime des analystes, constitue une sorte de percée dans le développement de cette technologie.
Les modèles s'appellent AlphaProof et AlphaGeometry 2 et peuvent aider à résoudre de nombreux problèmes auxquels sont actuellement confrontés les systèmes d'intelligence artificielle populaires. En raison des limites du raisonnement artificiel et du faible nombre de données d’entraînement, les modèles d’IA actuellement disponibles ne sont pas en mesure de résoudre des problèmes plus complexes.
Les modèles développés par DeepMind sont bien meilleurs à cet égard. Les nouveaux modèles DeepMind visent non seulement à fournir des réponses, mais également à prouver qu’elles sont correctes. Elles se distinguent donc des méthodes de traitement du langage naturel existantes, qui peuvent tomber dans un état d’hallucination et fournir une réponse qui semble crédible, mais ne peuvent pas réellement vérifier si elle est correcte.
Les algorithmes prenant en charge les modèles d’IA actuels fonctionnent grâce à la reconnaissance de formes et à la prédiction statistique, générant ainsi, par exemple, le prochain mot ou la prochaine phrase à inclure dans la réponse. Cependant, cela ne suffit pas pour résoudre des problèmes qui nécessitent une pensée abstraite, comme celui du cerveau humain. Les modèles AlphaProof et AlphaGeometry 2 brisent cette barrière.
Les modèles AlpaProof et AlphaGeometry 2 ont résolu quatre des six questions posées lors de l'édition de cette année de l'Olympiade mathématique internationale (OMI). Une question a été résolue en quelques minutes. Avec la seconde, ils ont fait bien pire, car la réponse n'a été donnée qu'au bout de trois jours, dépassant ainsi le délai. Le modèle AlpaProof a également réussi à résoudre la tâche la plus difficile du concours, que seuls cinq modèles d'IA sur un total de six cents participants au concours ont réussi.