Erdős n°888 : preuve jugée incorrecte par le wiki (Claude Opus 4.5, Gemini 3 Pro, GPT-5.2 Thinking)

Statut

Retiré

Constaté le 12 oct. 2026 · github.com

Hors du parcours de vérification

18 janv. 2026Annonce
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 au problème d'Erdős n°888 avec la mention « Incorrect proof found ».

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°888 : preuve jugée incorrecte par le wiki (Claude Opus 4.5, Gemini 3 Pro, GPT-5.2 Thinking) [Statut : Retiré, relevé 1]. Registre DiscoverIA. https://discoveria.ai/fr/fiche/erdos-888-claude-opus-4-5-gemini-3-pro-gpt-5-2-1a/#releve-1

BibTeX @misc, clé discoveria-erdos-888-claude-opus-4-5-gemini-3-pro-gpt-5-2-1a-r1

@misc{discoveria-erdos-888-claude-opus-4-5-gemini-3-pro-gpt-5-2-1a-r1,
  author       = {{DiscoverIA}},
  title        = {Erdős n°888 : preuve jugée incorrecte par le wiki (Claude Opus 4.5, Gemini 3 Pro, GPT-5.2 Thinking)},
  howpublished = {Registre DiscoverIA, fiche erdos-888-claude-opus-4-5-gemini-3-pro-gpt-5-2-1a},
  note         = {Statut « Retiré », relevé 1, constaté le 12 octobre 2026. nouveau résultat},
  year         = {2026},
  url          = {https://discoveria.ai/fr/fiche/erdos-888-claude-opus-4-5-gemini-3-pro-gpt-5-2-1a/#releve-1},
  urldate      = {2026-10-12}
}

Lien daté ouvre ce relevé dans l'historique

https://discoveria.ai/fr/fiche/erdos-888-claude-opus-4-5-gemini-3-pro-gpt-5-2-1a/#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 18 janv. 2026
Nature: nouveau résultat
Domaine: Mathématiques (problème d'Erdős n°888 (number theory ; squares))
Classement du wiki: AI standalone (IA seule ; littérature comparable inconnue ; implication humaine non significative)
Jugement du wiki: « Incorrect proof found » : travail incorrect (légende du wiki)
Selon erdosproblems.com: problème : solved, 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 359 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.