L'intelligence artificielle de DeepMind a trouvé une nouvelle solution à un problème mathématique complexe pour la première fois dans l'histoire.

DeepMind

DeepMind a utilisé la technologie Large Language Model (LLM) pour trouver une nouvelle solution à l'énigme dite des "couvertures multiples", l'un des problèmes mathématiques non résolus les plus difficiles.

Ce que nous savons

Ce problème consiste à déterminer le nombre maximal de points du plan qui peuvent être reliés par des lignes de telle sorte qu'aucun des trois points ne se trouve sur la même ligne. La solution à cette énigme est recherchée depuis plusieurs décennies, mais seulement pour de petits ensembles de points.

Le modèle de DeepMind, appelé FunSearch, a pour la première fois découvert de nouvelles conceptions pour de grands ensembles, bien au-delà de tout ce qui était connu auparavant. Cette découverte scientifique a été rendue possible par la combinaison du modèle de langage PaLM 2 de Google et d'un système de vérification automatique des faits.

Bien que le LLM n'ait pas résolu le problème une fois pour toutes, il a permis de découvrir de nouveaux faits pour la science, affirment les scientifiques.

Selon les développeurs, il s'agit de la première découverte confirmée en mathématiques réalisée avec l'aide de l'intelligence artificielle. Elle pourrait marquer le début d'une nouvelle ère dans le développement de l'IA et des mathématiques.

Source : The Next Web The Next Web