Erdős n°846 : deux solutions complètes, dont une avec preuve Lean, selon le wiki (DeepMind prover agent; OpenAI internal model (independently))

Statut

Non évalué

Constaté le 12 oct. 2026 · github.com

21 févr. 2026Annonce
30 juin 2026Wiki figé
12 oct. 2026Constaténon évalué
ensuiteÀ suivre

Ce que veut dire ce statut

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

Pas encore de statut DiscoverIA ; cela ne veut pas dire que personne n'a vérifié.

Pour passer « En examen » : un examen public en cours. Pour « Relu par des pairs » : une publication en revue ou une relecture par des experts nommés.

Archive datée : statut constaté sur le wiki figé le 30 juin 2026

Historique complet

L'essentiel

Le wiki « AI contributions to Erdős problems », figé au 30 juin 2026, recense une contribution d'IA au problème d'Erdős n°846 avec la mention « Full solution (Lean); Full solution ».

Suivre Signaler

Citer cette entrée

Un seul relevé de statut depuis le 12 oct. 2026 : une citation renvoie toujours à un relevé daté.

Citer le relevé 1, 12 oct. 2026

Citation APA avec le lien daté

DiscoverIA. (2026, 12 octobre). Erdős n°846 : deux solutions complètes, dont une avec preuve Lean, selon le wiki (DeepMind prover agent; OpenAI internal model (independently)) [Statut : Non évalué, relevé 1]. Registre DiscoverIA. https://discoveria.ai/fr/fiche/erdos-846-deepmind-prover-agent-openai-internal-model-1b/#releve-1

BibTeX @misc, clé discoveria-erdos-846-deepmind-prover-agent-openai-internal-model-1b-r1

@misc{discoveria-erdos-846-deepmind-prover-agent-openai-internal-model-1b-r1,
  author       = {{DiscoverIA}},
  title        = {Erdős n°846 : deux solutions complètes, dont une avec preuve Lean, selon le wiki (DeepMind prover agent; OpenAI internal model (independently))},
  howpublished = {Registre DiscoverIA, fiche erdos-846-deepmind-prover-agent-openai-internal-model-1b},
  note         = {Statut « Non évalué », relevé 1, constaté le 12 octobre 2026. nouveau résultat},
  year         = {2026},
  url          = {https://discoveria.ai/fr/fiche/erdos-846-deepmind-prover-agent-openai-internal-model-1b/#releve-1},
  urldate      = {2026-10-12}
}

Lien daté ouvre ce relevé dans l'historique

https://discoveria.ai/fr/fiche/erdos-846-deepmind-prover-agent-openai-internal-model-1b/#releve-1

Texte produit par un gabarit automatique (pipeline DiscoverIA), le 12 oct. 2026Relu par : personne pour l'instantSignaler une erreur

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

Le statut et ses sources viennent du registre ; seul le texte explicatif n'est pas relu. Une erreur signalée est corrigée, puis le texte est relu.

Repères

Revendiqué par: DeepMind prover agent; OpenAI internal model (independently), selon le wiki IA d'Erdős
annonce du 21 févr. 2026
Nature: nouveau résultat
Domaine: Mathématiques (problème d'Erdős n°846 (geometry))
Classement du wiki: AI alongside literature (IA parallèle à la littérature (comparable découverte après coup)
Jugement du wiki: « Full solution (Lean); Full solution » : 🟢 résolution complète (légende du wiki)
Selon erdosproblems.com: problème : disproved, preuve formalisée en Lean (relevé du 12 oct. 2026)
Vérifié par: aucun vérificateur identifié
Sources (domaines): 2 : 1 lues mot pour mot, 1 liens seulement
Fait partie de: Registre « AI contributions to Erdős problems » (wiki de T. Tao, figé au 2026-06-30)
Cette fiche: Brouillon IA, non relu

Pour les experts

Preuves: Preuve Lean indiquée par le wiki, vérificateur tiers non nommé

Sources(domaines)

primairegithub.compage lue mot pour mot · consultée le 12 oct. 2026
listeerdosproblems.comlien seulement, lecture non enregistrée

Méthode

Statut « non évalué » constaté le 12 octobre 2026 sur github.com (page lue, citation relevée mot pour mot).

Limites

Une preuve Lean fournie par le revendicateur ne vaut pas vérification formelle par un tiers. DiscoverIA n'a recensé aucune évaluation indépendante à cette date.

Dans le même ensemble

AI contributions to Erdős problems · entrée 331 sur 521, par numéro du problème

Voir les 521 entrées

Historique du statut

Une seule observation pour l'instant.

0112 oct. 2026
Première observation :Non évaluéStatut actuel
Source : github.comlu mot pour mot

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