Erdős n°330 : résultats partiels trouvés dans la littérature avec des inexactitudes relevées par le wiki, preuve de la littérature non trouvée (ChatGPT Deep research, Claude, Gemini Deep Research)
Statut
Contesté
Constaté le · github.com
Hors du parcours de vérification
Ce que veut dire ce statut
Lecture de la source : Source lue mot pour mot (niveau 3 sur 3)
Objection publique sourcée, sans réfutation établie.
Il reste « Contesté » tant qu'aucune réfutation n'est établie. Il passerait « Retiré » si son auteur le retirait ou si la source de référence le classait incorrect.
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 au problème d'Erdős n°330.
Citer cette entrée
Le statut a changé 1 fois 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-330-chatgpt-deep-research-claude-gemini-deep-2a-r1
@misc{discoveria-erdos-330-chatgpt-deep-research-claude-gemini-deep-2a-r1,
author = {{DiscoverIA}},
title = {Erdős n°330 : résultats partiels trouvés dans la littérature avec des inexactitudes relevées par le wiki, preuve de la littérature non trouvée (ChatGPT Deep research, Claude, Gemini Deep Research)},
howpublished = {Registre DiscoverIA, fiche erdos-330-chatgpt-deep-research-claude-gemini-deep-2a},
note = {Statut « Retiré », relevé 1, constaté le 12 octobre 2026. recherche bibliographique},
year = {2026},
url = {https://discoveria.ai/fr/fiche/erdos-330-chatgpt-deep-research-claude-gemini-deep-2a/#releve-1},
urldate = {2026-10-12}
}Lien daté ouvre ce relevé dans l'historique
Citer le relevé 2, 12 oct. 2026
Citation APA avec le lien daté
BibTeX @misc, clé discoveria-erdos-330-chatgpt-deep-research-claude-gemini-deep-2a-r2
@misc{discoveria-erdos-330-chatgpt-deep-research-claude-gemini-deep-2a-r2,
author = {{DiscoverIA}},
title = {Erdős n°330 : résultats partiels trouvés dans la littérature avec des inexactitudes relevées par le wiki, preuve de la littérature non trouvée (ChatGPT Deep research, Claude, Gemini Deep Research)},
howpublished = {Registre DiscoverIA, fiche erdos-330-chatgpt-deep-research-claude-gemini-deep-2a},
note = {Statut « Contesté », relevé 2, constaté le 12 octobre 2026. recherche bibliographique},
year = {2026},
url = {https://discoveria.ai/fr/fiche/erdos-330-chatgpt-deep-research-claude-gemini-deep-2a/#releve-2},
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
- ChatGPT Deep research, Claude, Gemini Deep Research, selon le wiki IA d'Erdős
annonce du 19 déc. 2025 - Nature
- recherche bibliographique
- Domaine
- Mathématiques (problème d'Erdős n°330 (number theory ; additive basis))
- Classement du wiki
- Literature search (contribution secondaire : recherche bibliographique)
- Jugement du wiki
- « Partial results found with inaccuracies; literature proof not found » : travail incorrect (légende du wiki)
- Selon erdosproblems.com
- problème prouvé, 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
- 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 « contesté » constaté le 12 octobre 2026 sur github.com (page lue, citation relevée mot pour mot). Historique : 2 observations datées, de la plus ancienne à la plus récente.
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 111 sur 521, par numéro du problème
- Non évalué : Erdős n°326 : solution complète avec preuve Lean selon le wiki (Aristotle, Codex, GPT-5.5)
- Non évalué : Erdős n°327 : résultat partiel candidat selon le wiki (GPT-5.5, Rethlas)
- Non évalué : Erdős n°328 : formalisation par AxiomProver (preuve : Nešetřil and Rödl (1985))
- Contesté : Erdős n°330 : résultats partiels trouvés dans la littérature avec des inexactitudes relevées par le wiki, preuve de la littérature non trouvée (ChatGPT Deep research, Claude, Gemini Deep Research)
- Non évalué : Erdős n°330 : formalisation par Codex, GPT-5.5 Pro (preuve : GPT-5.5 Pro and Turturean (2026))
- Non évalué : Erdős n°330 : solution complète selon le wiki (GPT-5.5 Pro)
- Non évalué : Erdős n°331 : formalisation par Aristotle (preuve : Ruzsa)
Historique du statut
Les numéros relient la bande (ordre des constats) et le fil (le plus récent en haut). Les longueurs de la bande sont égales, pas à l'échelle du temps.
- 02
RetirédevientContestéStatut actuel
reclassé de retiré à contesté selon le texte du wiki
Source : github.comlu mot pour mot
- 01
Première observation :Retiré
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].