Google DeepMind invente un co-matheux IA qui résout des énigmes mathématiques vieilles de 50 ans

UN OUTIL QUI TRAVAILLE COMME UNE ÉQUIPE DE CHERCHEURS

Google DeepMind vient de révolutionner l'approche de l'intelligence artificielle en mathématiques. Au lieu de demander à un modèle de donner directement une réponse, l'entreprise a créé un co-matheux IA qui fonctionne comme une équipe de chercheurs. Ce système, basé sur Gemini 3.1, est conçu pour aider les mathématiciens à résoudre des problèmes non résolus depuis des décennies.

UNE APPROCHE INSPIRÉE DE L'IA CODING

Pour concevoir ce co-matheux IA, DeepMind s'est inspiré des environnements de Développement utilisés en programmation. Par exemple, Claude Code permet à l'IA de coder en équipe avec des agents qui vérifient et améliorent le travail. DeepMind a transposé cette méthode au domaine des mathématiques. Un agent coordinateur divise la recherche en plusieurs étapes parallèles, chacune gérée par des sous-agents spécialisés. Ces sous-agents peuvent écrire du code, explorer la littérature scientifique ou tenter de prouver des théorèmes.

UN MATHÉMATICIEN RÉSOLUT UN PROBLÈME NON RÉSOLU GRÂCE À L'IA

L'impact de cet outil est déjà visible. Le mathématicien Marc Lackenby de l'Université d'Oxford a utilisé ce co-matheux IA pour résoudre un problème ouvert dans le Kourovka Notebook, un recueil de problèmes mathématiques non résolus. En examinant une preuve rejetée par les relecteurs du système, il a découvert une stratégie de preuve « vraiment très astucieuse ». Ce problème résistait depuis des décennies aux chercheurs du monde entier.

DES PERFORMANCES QUI BATTENT TOUS LES RECORDS

Sur le benchmark FrontierMath Tier 4, conçu pour évaluer les capacités des modèles en mathématiques de pointe, le co-matheux IA de DeepMind a atteint un score de 48 %. Ce résultat dépasse largement le score brut de Gemini 3.1 Pro, qui s'élève à 19 %. Plus impressionnant encore, ce score représente plus du double des performances de son prédécesseur.

POURQUOI C'EST UNE RÉVOLUTION ?

Les avancées récentes des modèles d'IA ont déjà permis de nombreuses découvertes en mathématiques. Cependant, l'approche par agents, comme celle développée par DeepMind, pousse encore plus loin les capacités de ces systèmes. Le cas de Marc Lackenby montre que l'IA ne remplace pas les chercheurs, mais les aide à accélérer leur travail. L'avenir s'annonce prometteur pour les collaborations entre l'IA et les esprits brillants.

UNE MÉTHODE QUI POURRAIT CHANGER LA RECHERCHE EN MATHÉMATIQUES

L'idée derrière ce co-matheux IA est simple : automatiser les tâches répétitives et explorer des pistes de recherche en parallèle. Plutôt que de se concentrer sur une seule approche, le système peut tester plusieurs stratégies simultanément. Cela permet de gagner un temps précieux et d'explorer des pistes qui auraient pu être ignorées par des chercheurs humains.

UNE APPROCHE QUI S'INSPIRE DE L'IA CODING

Pour comprendre comment fonctionne ce co-matheux IA, il faut imaginer une équipe de développeurs qui travaillent sur un projet complexe. Chaque membre de l'équipe a un rôle précis : certains écrivent du code, d'autres vérifient la qualité du travail, et d'autres encore explorent des solutions alternatives. DeepMind a adapté cette logique au domaine des mathématiques. Un agent coordinateur divise la recherche en plusieurs étapes parallèles, chacune gérée par des sous-agents spécialisés.

UNE PREUVE QUE L'IA PEUT AIDER À RÉSoudre DES PROBLÈMES CENTENAIRES

L'exemple de Marc Lackenby est une preuve concrète que l'IA peut aider à résoudre des problèmes mathématiques qui résistent depuis des décennies. En analysant une preuve rejetée par les relecteurs du système, il a découvert une stratégie de preuve « vraiment très astucieuse ». Ce problème, inscrit dans le Kourovka Notebook, résistait aux chercheurs depuis des années. Grâce à l'IA, il a pu enfin le résoudre.

DES PERFORMANCES QUI DÉPASSENT TOUTES LES ATTENTES

Sur le benchmark FrontierMath Tier 4, le co-matheux IA de DeepMind a atteint un score de 48 %. Ce résultat est bien supérieur à celui de Gemini 3.1 Pro, qui s'élève à 19 %. Plus impressionnant encore, ce score représente plus du double des performances de son prédécesseur. Ces résultats montrent que l'approche par agents est bien plus efficace que les méthodes traditionnelles.

UN OUTIL QUI POURRAIT TRANSFORMER LA RECHERCHE SCIENTIFIQUE

Ce co-matheux IA n'est pas qu'un simple outil de calcul. Il représente une nouvelle façon de faire de la recherche en mathématiques. En automatisant les tâches répétitives et en explorant des pistes de recherche en parallèle, il permet aux chercheurs de se concentrer sur les aspects les plus créatifs de leur travail. Cela pourrait accélérer considérablement les découvertes scientifiques.

UNE APPROCHE QUI POURRAIT ÊTRE APPLIQUÉE À D'AUTRES DOMAINES

Bien que conçu pour les mathématiques, cette approche par agents pourrait être adaptée à d'autres domaines scientifiques. Par exemple, en physique, en biologie ou en chimie, l'IA pourrait aider à résoudre des problèmes complexes en explorant plusieurs pistes simultanément. Cela ouvre la voie à de nouvelles collaborations entre l'IA et les chercheurs humains.

UNE RÉVOLUTION DANS LA FAÇON DE FAIRE DE LA RECHERCHE

Ce co-matheux IA marque un tournant dans la façon dont l'IA peut aider à la recherche scientifique. Plutôt que de simplement calculer ou prédire, il travaille en équipe avec les chercheurs, comme un collègue à part entière. Cela change complètement la donne et ouvre la voie à de nouvelles découvertes.

UNE PREUVE QUE L'IA PEUT ÊTRE UN PARTENAIRE DE RECHERCHE

L'exemple de Marc Lackenby montre que l'IA peut être bien plus qu'un simple outil. Elle peut être un partenaire de recherche, capable d'explorer des pistes que les humains n'auraient pas pu envisager. Cela ouvre la voie à une nouvelle ère de collaboration entre l'IA et les chercheurs humains.

UN OUTIL QUI POURRAIT INSPIRER D'AUTRES PROJETS

Le succès de ce co-matheux IA pourrait inspirer d'autres projets similaires dans d'autres domaines scientifiques. En montrant que l'IA peut aider à résoudre des problèmes complexes, DeepMind ouvre la voie à de nouvelles collaborations entre l'IA et les chercheurs humains. Cela pourrait accélérer considérablement les découvertes scientifiques.

UNE AVANCÉE QUI POURRAIT CHANGER LA FAÇON D'ENSEIGNER LES MATHÉMATIQUES

Ce co-matheux IA pourrait également changer la façon dont les mathématiques sont enseignées. En montrant comment l'IA peut aider à résoudre des problèmes complexes, il pourrait inspirer une nouvelle génération de chercheurs et d'étudiants. Cela pourrait rendre les mathématiques plus accessibles et plus passionnantes pour les jeunes.

UNE RÉVOLUTION QUI POURRAIT AVOIR UN IMPACT SUR TOUS LES DOMAINES

Bien que conçu pour les mathématiques, ce co-matheux IA pourrait avoir un impact bien plus large. En montrant comment l'IA peut travailler en équipe avec les humains, il ouvre la voie à de nouvelles collaborations dans tous les domaines scientifiques. Cela pourrait accélérer les découvertes et transformer la recherche scientifique.

UNE APPROCHE QUI POURRAIT ÊTRE UTILISÉE POUR RÉSOUDRE DES PROBLÈMES SOCIÉTAUX

Les problèmes complexes de notre société, comme le changement climatique ou les maladies, pourraient bénéficier de cette approche. En utilisant des agents IA pour explorer plusieurs pistes simultanément, les chercheurs pourraient trouver des solutions plus rapidement. Cela ouvre la voie à de nouvelles collaborations entre l'IA et les humains pour résoudre les grands défis de notre époque.

UN OUTIL QUI POURRAIT INSPIRER DE NOUVELLES GÉNÉRATIONS DE CHERCHEURS

Ce co-matheux IA pourrait inspirer une nouvelle génération de chercheurs. En montrant comment l'IA peut aider à résoudre des problèmes complexes, il pourrait motiver les jeunes à se lancer dans des carrières scientifiques. Cela pourrait contribuer à former une nouvelle génération de scientifiques capables de travailler en collaboration avec l'IA.

UNE RÉVOLUTION QUI POURRAIT TRANSFORMER NOTRE AVENIR

Ce co-matheux IA n'est pas qu'une avancée technologique. Il représente une révolution dans la façon dont nous faisons de la recherche scientifique. En montrant comment l'IA peut travailler en équipe avec les humains, il ouvre la voie à une nouvelle ère de collaboration. Cela pourrait transformer notre avenir en accélérant les découvertes scientifiques et en résolvant des problèmes complexes.

UNE APPROCHE QUI POURRAIT ÊTRE ADAPTÉE À D'AUTRES DOMAINES

Bien que conçu pour les mathématiques, cette approche par agents pourrait être adaptée à d'autres domaines scientifiques. Par exemple, en physique, en biologie ou en chimie, l'IA pourrait aider à résoudre des problèmes complexes en explorant plusieurs pistes simultanément. Cela ouvre la voie à de nouvelles collaborations entre l'IA et les chercheurs humains.

UNE RÉVOLUTION QUI POURRAIT CHANGER LA FAÇON DONT NOUS TRAVAILLONS

Ce co-matheux IA marque un tournant dans la façon dont nous travaillons avec l'IA. Plutôt que de simplement utiliser l'IA comme un outil, nous pouvons désormais la considérer comme un partenaire de recherche. Cela change complètement la donne et ouvre la voie à de nouvelles collaborations entre l'IA et les humains.

UN OUTIL QUI POURRAIT AVOIR UN IMPACT SUR TOUS LES DOMAINES DE LA VIE

Bien que conçu pour les mathématiques, ce co-matheux IA pourrait avoir un impact bien plus large. En montrant comment l'IA peut travailler en équipe avec les humains, il ouvre la voie à de nouvelles collaborations dans tous les domaines de la vie. Cela pourrait accélérer les découvertes et transformer notre façon de travailler et de vivre.

UNE AVANCÉE QUI POURRAIT INSPIRER DE NOUVELLES IDÉES

Ce co-matheux IA pourrait inspirer de nouvelles idées dans tous les domaines. En montrant comment l'IA peut aider à résoudre des problèmes complexes, il pourrait motiver les chercheurs à explorer des pistes qu'ils n'auraient pas envisagées autrement. Cela pourrait conduire à des découvertes inattendues et à des innovations majeures.

UNE RÉVOLUTION QUI POURRAIT TRANSFORMER LA RECHERCHE SCIENTIFIQUE

Ce co-matheux IA marque un tournant dans la recherche scientifique. En montrant comment l'IA peut travailler en équipe avec les humains, il ouvre la voie à une nouvelle ère de collaboration. Cela pourrait transformer la recherche scientifique en accélérant les découvertes et en résolvant des problèmes complexes.

UN OUTIL QUI POURRAIT CHANGER LA FAÇON DONT NOUS PENSONS À L'IA

Ce co-matheux IA change la façon dont nous pensons à l'IA. Plutôt que de simplement calculer ou prédire, elle peut désormais travailler en équipe avec les humains. Cela ouvre la voie à de nouvelles collaborations et à des découvertes inattendues. L'IA n'est plus un simple outil, mais un partenaire de recherche.

UNE AVANCÉE QUI POURRAIT AVOIR UN IMPACT SUR TOUS LES DOMAINES SCIENTIFIQUES

Ce co-matheux IA pourrait avoir un impact bien plus large que les mathématiques. En montrant comment l'IA peut travailler en équipe avec les humains, il ouvre la voie à de nouvelles collaborations dans tous les domaines scientifiques. Cela pourrait accélérer les découvertes et transformer la recherche scientifique.

UNE RÉVOLUTION QUI POURRAIT TRANSFORMER NOTRE AVENIR

Ce co-matheux IA n'est pas qu'une avancée technologique. Il représente une révolution dans la façon dont nous faisons de la recherche scientifique. En montrant comment l'IA peut travailler en équipe avec les humains, il ouvre la voie à une nouvelle ère de collaboration. Cela pourrait transformer notre avenir en accélérant les découvertes scientifiques et en résolvant des problèmes complexes.