Erdős n°11 : affirmation jugée incorrecte par le wiki (Aristotle, GPT)
Statut
Retiré
Constaté le · github.com
Hors du parcours de vérification
- Annonce
- Wiki figé
- Constaté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
L'essentiel
Le wiki « AI contributions to Erdős problems », figé au 30 juin 2026, recense une contribution d'IA de Aristotle, GPT au problème d'Erdős n°11 avec la mention « Incorrect claim made ».
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é
BibTeX @misc, clé discoveria-erdos-11-aristotle-gpt-1a-r1
@misc{discoveria-erdos-11-aristotle-gpt-1a-r1,
author = {{DiscoverIA}},
title = {Erdős n°11 : affirmation jugée incorrecte par le wiki (Aristotle, GPT)},
howpublished = {Registre DiscoverIA, fiche erdos-11-aristotle-gpt-1a},
note = {Statut « Retiré », relevé 1, constaté le 12 octobre 2026. nouveau résultat},
year = {2026},
url = {https://discoveria.ai/fr/fiche/erdos-11-aristotle-gpt-1a/#releve-1},
urldate = {2026-10-12}
}Lien daté ouvre ce relevé dans l'historique
Texte produit par un gabarit automatique (pipeline DiscoverIA), le Relu 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.
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 24 janv. 2026 - Nature
- nouveau résultat
- Domaine
- Mathématiques (problème d'Erdős n°11 (number theory ; additive basis))
- Classement du wiki
- AI standalone (IA seule ; littérature comparable inconnue ; implication humaine non significative)
- Jugement du wiki
- « Incorrect claim made » : travail incorrect (légende du wiki)
- Selon erdosproblems.com
- problème encore ouvert (relevé du 12 oct. 2026)
- Vérifié par
- mainteneurs du wiki (indicateur rouge)
- Sources (domaines)
- 2 : 1 lues mot pour mot, 1 liens seulement
- 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 2 sur 521, par numéro du problème
- Retiré : Erdős n°7 : preuve jugée incorrecte par le wiki (Aristotle)
- Retiré : Erdős n°11 : affirmation jugée incorrecte par le wiki (Aristotle, GPT)
- Non évalué : Erdős n°12 : résultat partiel avec preuve Lean, première et deuxième parties résolues, selon le wiki (DeepMind prover agent)
- Non évalué : Erdős n°12 : résultat partiel selon le wiki (GPT-5.4 Thinking)
- Non évalué : Erdős n°16 : formalisation par Antigravity, Gemini 3.1 Pro (preuve : Chen (2023))
Historique du statut
Une seule observation pour l'instant.
- 01
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.
Signaler une erreur ou proposer une source
Merci, votre message est bien parti.
L'envoi a échoué. Réessayez, ou écrivez à [email protected].