Erdős n°333 : preuve revendiquée jugée incorrecte par le wiki, preuve de la littérature non trouvée (GPT-5.2 Pro)

Statut

Retiré

Constaté le 12 oct. 2026 · github.com

Hors du parcours de vérification

25 déc. 2025Annonce
30 juin 2026Wiki figé
12 oct. 2026Constatéretiré

Ce que veut dire ce statut

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

Retiré ou abandonné par son auteur, ou classé incorrect par la source de référence.

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 de GPT-5.2 Pro au problème d'Erdős n°333.

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°333 : preuve revendiquée jugée incorrecte par le wiki, preuve de la littérature non trouvée (GPT-5.2 Pro) [Statut : Retiré, relevé 1]. Registre DiscoverIA. https://discoveria.ai/fr/fiche/erdos-333-gpt-5-2-pro-2a/#releve-1

BibTeX @misc, clé discoveria-erdos-333-gpt-5-2-pro-2a-r1

@misc{discoveria-erdos-333-gpt-5-2-pro-2a-r1,
  author       = {{DiscoverIA}},
  title        = {Erdős n°333 : preuve revendiquée jugée incorrecte par le wiki, preuve de la littérature non trouvée (GPT-5.2 Pro)},
  howpublished = {Registre DiscoverIA, fiche erdos-333-gpt-5-2-pro-2a},
  note         = {Statut « Retiré », relevé 1, constaté le 12 octobre 2026. recherche bibliographique},
  year         = {2026},
  url          = {https://discoveria.ai/fr/fiche/erdos-333-gpt-5-2-pro-2a/#releve-1},
  urldate      = {2026-10-12}
}

Lien daté ouvre ce relevé dans l'historique

https://discoveria.ai/fr/fiche/erdos-333-gpt-5-2-pro-2a/#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: Non affiché (entrée retirée)
annonce du 25 déc. 2025
Nature: recherche bibliographique
Domaine: Mathématiques (problème d'Erdős n°333 (number theory ; additive basis))
Classement du wiki: Literature search (contribution secondaire : recherche bibliographique)
Jugement du wiki: « Incorrect proof claimed; literature proof not found » : travail incorrect (légende du wiki)
Selon erdosproblems.com: problème : disproved, preuve formalisée en Lean (relevé du 12 oct. 2026)
Vérifié par: mainteneurs du wiki (indicateur rouge)
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

Sources(domaines)

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

Méthode

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

Limites

Le statut peut changer si une nouvelle source est publiée ; l'historique daté reste visible.

Dans le même ensemble

AI contributions to Erdős problems · entrée 116 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 :RetiréStatut actuel
classé incorrect par le wiki (indicateur rouge, « Incorrect work »)
Source : github.comlu mot pour mot

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