Erdős n°411 : preuve jugée incorrecte par le wiki (Claude)
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
Une preuve proposée le 3 avril 2026 pour le problème d'Erdős n°411, par un contributeur humain travaillant avec Claude, a été classée incorrecte par le wiki qui suit ces contributions.
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-411-claude-1d-r1
@misc{discoveria-erdos-411-claude-1d-r1,
author = {{DiscoverIA}},
title = {Erdős n°411 : preuve jugée incorrecte par le wiki (Claude)},
howpublished = {Registre DiscoverIA, fiche erdos-411-claude-1d},
note = {Statut « Retiré », relevé 1, constaté le 12 octobre 2026. nouveau résultat},
year = {2026},
url = {https://discoveria.ai/fr/fiche/erdos-411-claude-1d/#releve-1},
urldate = {2026-10-12}
}Lien daté ouvre ce relevé dans l'historique
Texte rédigé par une IA (pipeline DiscoverIA), le Relu par : Antoine Olivier, 13 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
- un contributeur humain avec Claude, selon le wiki IA d'Erdős (Nom remplacé par un rôle)
annonce du 3 avr. 2026 - Nature
- nouveau résultat
- Domaine
- Mathématiques (problème d'Erdős n°411 (number theory ; iterated functions))
- Classement du wiki
- AI collaborating with humans (IA en collaboration avec des humains ; implication humaine significative)
- Jugement du wiki
- « Incorrect proof found » : 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
- Relu par Antoine Olivier, 13 oct. 2026
Pour comprendre
Analogie
Comme une copie rendue puis barrée par le correcteur : la question reste posée, la tentative ne compte pas.
Ce que ça change
Rien sur le fond : le problème n°411, une question de théorie des nombres sur les fonctions itérées (une fonction appliquée encore et encore à son propre résultat), était toujours ouvert sur erdosproblems.com au 12 octobre 2026. L'entrée garde la trace d'une tentative avec IA jugée incorrecte, suivie comme les réussites.
Ce qui reste flou
Les sources lues ne précisent pas l'erreur qui a motivé le classement. Le wiki est figé depuis le 30 juin 2026 : une correction publiée depuis n'y figurerait pas.
2 sources.
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
Les mainteneurs du wiki « AI contributions to Erdős problems » lui ont attribué l'indicateur rouge « Incorrect work » ; elle relève de leur catégorie 1(d) : IA en collaboration avec des humains, avec une implication humaine importante. Le problème figure aussi dans un regroupement de revendications incorrectes, qui peut couvrir la même tentative. 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.
Comme une copie rendue puis barrée par le correcteur : la question reste posée, la tentative ne compte pas.
Dans le même ensemble
AI contributions to Erdős problems · entrée 162 sur 521, par numéro du problème
- Non évalué : Erdős n°400 : résultat partiel candidat selon le wiki (GPT)
- Non évalué : Erdős n°401 : solution complète avec preuve Lean et solution d'une variante selon le wiki (Aristotle, GPT-5.2 Pro)
- Non évalué : Erdős n°403 : formalisation par AxiomProver (preuve : Unspecified)
- Retiré : Erdős n°411 : preuve jugée incorrecte par le wiki (Claude)
- Non évalué : Erdős n°415 : résultat partiel selon le wiki (GPT-5.4 Pro)
- Non évalué : Erdős n°418 : formalisation par Aristotle, GPT (preuve : Browkin and Schinzel (1995))
- Non évalué : Erdős n°419 : formalisation par Aristotle (preuve : Sawhney (2025))
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].