# AlphaProof Nexus de DeepMind résout des dizaines de problèmes ouverts

> L’IA a démontré 44 conjectures, résolu neuf problèmes d’Erdős et fait l’objet d’un article évalué par les pairs dans Science.

Oossa · 2026-10-12 · https://oossa.com/fr/deepmind-s-alphaproof-nexus-solves-dozens-of-open-math-problems

DeepMind a annoncé que sa nouvelle IA, AlphaProof Nexus, a produit des démonstrations formelles pour plusieurs questions mathématiques jusque-là ouvertes. Les résultats sont publiés dans un article évalué par les pairs dans la revue Science. Le système s’appuie sur Gemini 3.1 Pro pour rédiger des démonstrations dans le langage formel Lean, dont chaque étape est vérifiée automatiquement.

## Les résultats d’AlphaProof Nexus

L’article indique qu’AlphaProof Nexus a résolu neuf des 353 problèmes d’Erdős encore considérés comme ouverts, dont deux qui n’avaient pas été résolus depuis 56 ans. Le système a également démontré 44 conjectures issues de la base de données des suites d’entiers OEIS, tranché une question ouverte en géométrie algébrique et resserré une borne connue en optimisation min-max, une méthode utilisée pour entraîner certains modèles d’IA.

## Fonctionnement du système

AlphaProof Nexus repose sur Gemini 3.1 Pro, qui rédige des démonstrations en Lean et reçoit un retour immédiat du vérificateur Lean. Si une ébauche échoue, Lean renvoie un message d’erreur qui oriente la tentative suivante. Pour les sous-problèmes particulièrement difficiles, le système peut faire appel à un outil spécialisé appelé AlphaProof. L’équipe a publié en ligne les solutions aux neuf problèmes d’Erdős avant la parution de l’article.

## Les faits

- AlphaProof Nexus a résolu neuf des 353 problèmes d’Erdős ouverts, dont deux qui n’avaient pas été résolus depuis 56 ans.
- Le système a démontré 44 conjectures issues de la base de données des suites d’entiers OEIS.
- Il a résolu une question ouverte en géométrie algébrique et resserré une borne en optimisation min-max.
- AlphaProof Nexus repose sur Gemini 3.1 Pro, qui rédige et révise des démonstrations dans le langage formel Lean.
- Les travaux ont été publiés dans la revue évaluée par les pairs Science.

## Pourquoi c'est important

Pour les mathématiciens, cette IA offre une nouvelle façon d’explorer des problèmes difficiles et de vérifier automatiquement des démonstrations, ce qui pourrait accélérer la recherche. Pour les utilisateurs d’outils d’IA, les progrès en optimisation min-max pourraient permettre d’entraîner plus efficacement les futurs modèles. La publication évaluée par les pairs montre que la communauté scientifique prend au sérieux les démonstrations produites par l’IA, même si une validation plus large reste nécessaire.

## Sources et références

1. [Google Deepmind's AlphaProof Nexus solved dozens of open math problems and actually got peer reviewed](https://the-decoder.com/google-deepminds-alphaproof-nexus-solved-dozens-of-open-math-problems-and-actually-got-peer-reviewed/) – The Decoder, 2026-10-12

Dernière mise à jour: 2026-10-12