Un chatbot résout un problème mathématique qui échappait à l’humanité depuis des décennies

Un algorithme conçu par DeepMind, la filiale de , a permis de résoudre un problème de complexe qui était resté sans réponse depuis des années. Cette avancée montre comment ces outils peuvent être utilisés pour analyser et résoudre des problèmes même en dehors du domaine linguistique.

Première victoire : le problème du conjoint limite

Le problème en question est connu sous le nom de « problème du conjoint limite ». Il avait été posé il y a plusieurs décennies et, bien que certaines solutions aient été trouvées pour des cas simples avec un nombre réduit de variables dans les années 70, aucune solution n'avait été trouvée pour les cas complexes. La nouvelle approche développée par DeepMind, nommée FunSearch, a réussi à trouver une solution pour un ensemble complexe de 512 points.

Les clés pour résoudre ce problème reposent sur l'utilisation de grands modèles linguistiques, similaires à ceux utilisés pour développer des chatbots tels que . Ces modèles sont composés d'un réseau neuronal avec de nombreux paramètres et sont entraînés sur d'énormes quantités de texte non étiqueté grâce à l'apprentissage auto-supervisé ou semi-supervisé.

A lire :   La température de la Terre dépasse pour la première fois les 2°C

Fonctionnement de FunSearch

FunSearch combine deux programmes pour résoudre les problèmes mathématiques :

  • Codey : un modèle de codage basé sur de grands modèles linguistiques.
  • Un algorithme de vérification : il vérifie et évalue les propositions de Codey.

L'algorithme de vérification agit comme un gardien qui s'assure que le ne commet pas d'erreurs. Les chercheurs écrivent la ligne de code qui indique comment résoudre le problème mathématique, mais laissent les commandes qui apportent réellement la solution libre. Codey propose alors ces lignes, et avant qu'elles ne soient considérées comme valides, l'algorithme de vérification les examine. De nombreuses solutions proposées seront fausses et devront être écartées, mais parmi elles se trouve la réponse correcte au problème mathématique.

A lire :   Google Meet permet désormais les réunions en anglais avec sous-titres en français

Deuxième succès : le problème d'emballage des conteneurs

Pour confirmer que leurs résultats n'étaient pas le fruit d'une coïncidence heureuse, les développeurs de FunSearch ont utilisé l'outil pour résoudre un autre problème mathématique : le problème d'emballage des conteneurs. Ce problème consiste à trouver la manière la plus efficace d'empaqueter un grand nombre d'articles dans des conteneurs. Il s'agit encore une fois d'un problème combinatoire, où la complexité augmente lorsque l'ensemble numérique devient très important. FunSearch a réussi à relever ce défi sans difficulté.

Implications pour l'avenir

Ces résultats sont intéressants, mais ils pourraient également inquiéter les mathématiciens qui craignent de perdre leur emploi. Heureusement, ils n'ont rien à craindre pour le moment. Cet outil ne fonctionne que pour des problèmes combinatoires spécifiques et nécessite toujours une supervision humaine.

A lire :   Une nouvelle carte de l'univers observable nous rappelle à quel point nous sommes petits

Comme dans de nombreux autres domaines professionnels, il est possible que les métiers évoluent à l'avenir, mais ils ne disparaîtront pas nécessairement. Les machines sont certes de plus en plus performantes et polyvalentes, mais elles ont toujours besoin d'être supervisées par des humains.

L'Apple Watch face à une crise identitaire : un virage manqué ?

Voter pour cet article
Afficher Masquer le sommaire
Laurence Jardin

Je suis une grande fan de nouvelles sur les gens – je suis une pro de la tech et des smartphones, de la littérature de série, et j'écris pendant mon temps libre.