Le AlphaProof Nexus de Google Deepmind a résolu des dizaines de problèmes mathématiques ouverts et a été véritablement soumis à une revue par des pairs.
Manuel Uth
12 octobre 2026L’IA de Google Deepmind a résolu seule des dizaines de problèmes mathématiques ouverts, selon une nouvelle étude publiée dans Science. AlphaProof Nexus a résolu neuf des 353 problèmes mathématiques ouverts de Erdős, deux d’entre eux inachevés depuis 56 ans. L’équipe a partagé ces solutions en ligne avant la publication du papier.
En outre, AlphaProof Nexus a prouvé 44 conjectures provenant de la base de données de séquences entières de l’OEIS, résolu une question ouverte en géométrie algébrique et amélioré un bound connu en optimisation min-max, une technique utilisée pour entraîner certains modèles d’IA. Il est construit autour de Gemini 3.1 Pro, qui rédige et revoit les preuves dans le langage formel Lean. Lean vérifie chaque version révisée après chaque modification, et les messages d’erreur guident la prochaine tentative. Pour des sous-problèmes plus difficiles, il peut faire appel à AlphaProof, un outil de preuve spécialisé. Même sans AlphaProof, il a résolu les neuf problèmes de Erdős, comme le rapport de Google Deepmind.
L’étude intervient dans un débat intense concernant les mathématiques générées par l’IA. OpenAI a récemment déchargé des centaines de preuves générées par l’IA sur GitHub, plutôt que de les soumettre à des revues scientifiques. L’Association for Human Mathematics, dirigée par Terence Tao, a appelé à un boycott. Deepmind a fait passer ses travaux par une revue par des pairs.
Nouvelles sur l’IA sans hype – sélectionnées par des humains
S’abonner à THE DECODER pour une lecture sans publicités, un bulletin informatif sur l’IA hebdomadaire, notre rapport exclusif « AI Radar » six fois par an, un accès complet à l’archive, et la possibilité de participer à notre section de commentaires.
Source : Science / Study