Aller au contenu
EN · English
Pour démarrer

Langue : français · English

Registre

AlphaProof Nexus (Google DeepMind, Science, 2026-10-08) : 9 problèmes d'Erdős ouverts sur 353 et 44 conjectures OEIS sur 492 résolus en Lean, selon les auteurs

Statut

Relu par des pairs

Constaté le · api.crossref.org

  1. Annonce
  2. Révisénon évalué
  3. Révisérelu par des pairs
Ce que veut dire ce statut

Lecture de la source : Source lue mot pour mot (niveau 3 sur 3)

Publication en revue ou relecture par des experts nommés.

Historique complet

L'essentiel

Google DeepMind publie le 8 octobre 2026 dans Science son étude sur AlphaProof Nexus : selon les auteurs, 9 problèmes d'Erdős ouverts sur 353 et 44 conjectures OEIS sur 492 sont résolus en Lean.

SuivreSignaler

Citer cette entrée

Le statut a changé 2 fois depuis le 11 oct. 2026 : une citation renvoie toujours à un relevé daté.

Citer le relevé 3, 13 oct. 2026

Citation APA avec le lien daté

DiscoverIA. (2026, 13 octobre). AlphaProof Nexus (Google DeepMind, Science, 2026-10-08) : 9 problèmes d'Erdős ouverts sur 353 et 44 conjectures OEIS sur 492 résolus en Lean, selon les auteurs [Statut : Relu par des pairs, relevé 3]. Registre DiscoverIA. https://discoveria.ai/fr/fiche/alphaproof-nexus-science-2026-10-08/#releve-3

BibTeX @misc, clé discoveria-alphaproof-nexus-science-2026-10-08-r3

@misc{discoveria-alphaproof-nexus-science-2026-10-08-r3,
  author       = {{DiscoverIA}},
  title        = {AlphaProof Nexus (Google DeepMind, Science, 2026-10-08) : 9 problèmes d'Erdős ouverts sur 353 et 44 conjectures OEIS sur 492 résolus en Lean, selon les auteurs},
  howpublished = {Registre DiscoverIA, fiche alphaproof-nexus-science-2026-10-08},
  note         = {Statut « Relu par des pairs », relevé 3, constaté le 13 octobre 2026. nouveau résultat},
  year         = {2026},
  url          = {https://discoveria.ai/fr/fiche/alphaproof-nexus-science-2026-10-08/#releve-3},
  urldate      = {2026-10-13}
}

Lien daté ouvre ce relevé dans l'historique

https://discoveria.ai/fr/fiche/alphaproof-nexus-science-2026-10-08/#releve-3

Texte rédigé par une IA (pipeline DiscoverIA), le Relu par : Antoine Olivier, 18 oct. 2026Signaler une erreur

Qu'est-ce qui n'est pas relu ?

Le statut et ses sources viennent du registre ; le texte explicatif a été relu par un humain.

Le statut et ses sources viennent du registre ; le texte explicatif a été relu par un humain.

Repères

Revendiqué par
Google DeepMind (AlphaProof Nexus ; 21 auteurs, dont un de l'université d'Aarhus)
annonce du 8 oct. 2026
Nature
nouveau résultat
Domaine
Mathématiques (mathématiques / preuve formelle)
Vérifié par
relecture Science (relecteurs anonymes)
Sources (domaines)
7 : 4 lues mot pour mot, 2 via un résumé IA, 1 liens seulement
Cette fiche
Relu par Antoine Olivier, 18 oct. 2026

Pour comprendre

Analogie

Comme un record homologué par un jury qui a lu le dossier, mais que personne d'autre n'a encore mesuré à nouveau.

Ce que ça change

Un article relu par les pairs affirme qu'un système d'IA a résolu des problèmes mathématiques encore ouverts, avec des preuves écrites en Lean, un langage où un ordinateur contrôle chaque étape d'une preuve. L'étude avait d'abord paru en préprint sur arXiv le 21 mai 2026.

Ce qui reste flou

Les relecteurs de Science sont anonymes et aucun tiers nommé n'a encore rejoué les preuves Lean publiées. Les chiffres sont ceux des auteurs. À titre de comparaison, le banc d'essai OEIS Open (arXiv 2608.11941) rapporte 147 conjectures sur 492 résolues par des modèles de langage généraux.

Pour les experts

7 sources.

Pour les experts

Preuves
article Science (résumé et métadonnées lus via Crossref), préprint arXiv 2605.22763 (texte intégral v2 lu), Lean (dépôt google-deepmind/alphaproof-nexus-results, non rejoué)

Sources(domaines)

  • primairedoi.orglien seulement, lecture non enregistrée
  • source-statutapi.crossref.orgpage lue mot pour mot · consultée le 13 oct. 2026 · Advancing mathematics research with AI-driven formal proof search
  • articlearxiv.orgpage lue mot pour mot · consultée le 18 oct. 2026 · Our most capable agent autonomously resolved 9 of 353 open Erdős problems
  • articlearxiv.orgpage lue mot pour mot · consultée le 13 oct. 2026 · we developed a framework, AlphaProof Nexus, for LLM-aided proof generation
  • leangithub.compage lue mot pour mot · consultée le 13 oct. 2026 · Lean math proofs generated by AlphaProof Nexus and accompanying natural language prose proofs.
  • position-revendicateurdigg.compage lue via un résumé IA · consultée le 11 oct. 2026
  • articlequantamagazine.orgpage lue via un résumé IA · consultée le 11 oct. 2026

Méthode

Le préprint arXiv 2605.22763 (version 1 du 21 mai 2026, version 2 du 8 juin 2026) et l'article de Science (DOI 10.1126/science.aej2213) portent le même titre et les mêmes 21 auteurs. Les preuves Lean et leur rédaction en langage naturel sont publiées dans le dépôt google-deepmind/alphaproof-nexus-results. Statut « relu par les pairs » constaté le 13 octobre 2026 sur api.crossref.org (page lue, citation relevée mot pour mot). Historique : 3 observations datées, de la plus ancienne à la plus récente.

Limites

Une preuve Lean fournie par le revendicateur ne vaut pas vérification formelle par un tiers.

Pour comprendre

Comme un record homologué par un jury qui a lu le dossier, mais que personne d'autre n'a encore mesuré à nouveau.

Historique du statut

Les numéros relient la bande (ordre des constats) et le fil (le plus récent en haut). Les longueurs de la bande sont égales, pas à l'échelle du temps.

  1. 03

    Non évaluédevientRelu par des pairsStatut actuel

    article de revue à comité de lecture : reçu le 2026-05-27, accepté le 2026-08-17, publié le 2026-10-08 (Science 394(6820):234-239) ; relecteurs anonymes ; preuves Lean publiques…

    Lire la raison en entier

    article de revue à comité de lecture : reçu le 2026-05-27, accepté le 2026-08-17, publié le 2026-10-08 (Science 394(6820):234-239) ; relecteurs anonymes ; preuves Lean publiques non rejouées par un tiers nommé

    Source : api.crossref.orglu mot pour mot

  2. 02

    Statut confirmé :Non évalué

    observation du préprint arXiv 2605.22763 (v1 du 2026-05-21)

    Source : quantamagazine.orglu via un résumé IA

  3. 01

    Première observation :Non évalué

    Source : digg.comlu via un résumé IA

Une observation s'ajoute ; aucune ne s'efface.

Signaler une erreur ou proposer une source

Ce que DiscoverIA fait de votre adresse et comment exercer vos droits : politique de confidentialité.

Vérification anti-robot non configurée.