AlphaProof Nexus de Google DeepMind résout des problèmes mathématiques ouverts et passe la révision par les pairs
decoder ·
Une nouvelle étude publiée dans Science révèle qu'AlphaProof Nexus, développé par Google DeepMind, a résolu avec succès des dizaines de problèmes mathématiques ouverts. Le système d'intelligence artificielle a résolu neuf des 353 problèmes ouverts d'Erdős, dont deux qui étaient restés irrésolus pendant 56 ans. De plus, il a démontré 44 conjectures issues de la base de données OEIS sur les suites d'entiers et a résolu une question ouverte en géométrie algébrique. Le modèle est basé sur Gemini 3.1 Pro et utilise le langage formel Lean pour rédiger et vérifier itérativement les preuves. Pour les sous-problèmes complexes, il peut s'appuyer sur AlphaProof, un outil spécialisé dans la démonstration, bien qu'il ait obtenu des résultats significatifs même sans ce dernier. Cette approche rigoureuse contraste avec les récentes controverses au cours desquelles d'autres entreprises d'IA ont publié directement des preuves sur GitHub sans relecture par les pairs. En réponse aux appels au boycott lancés par des mathématiciens, DeepMind a veillé à ce que son travail subisse une vérification académique traditionnelle.
decoder