Erdős n°503 : argument jugé gravement lacunaire par le wiki (Aristotle, GPT-5.4 Pro)
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°503 avec la mention « Argument with major gaps made ».
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-503-aristotle-gpt-5-4-pro-1d-r1
@misc{discoveria-erdos-503-aristotle-gpt-5-4-pro-1d-r1,
author = {{DiscoverIA}},
title = {Erdős n°503 : argument jugé gravement lacunaire par le wiki (Aristotle, GPT-5.4 Pro)},
howpublished = {Registre DiscoverIA, fiche erdos-503-aristotle-gpt-5-4-pro-1d},
note = {Statut « Retiré », relevé 1, constaté le 12 octobre 2026. nouveau résultat},
year = {2026},
url = {https://discoveria.ai/fr/fiche/erdos-503-aristotle-gpt-5-4-pro-1d/#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-503-aristotle-gpt-5-4-pro-1d-r2
@misc{discoveria-erdos-503-aristotle-gpt-5-4-pro-1d-r2,
author = {{DiscoverIA}},
title = {Erdős n°503 : argument jugé gravement lacunaire par le wiki (Aristotle, GPT-5.4 Pro)},
howpublished = {Registre DiscoverIA, fiche erdos-503-aristotle-gpt-5-4-pro-1d},
note = {Statut « Contesté », relevé 2, constaté le 12 octobre 2026. nouveau résultat},
year = {2026},
url = {https://discoveria.ai/fr/fiche/erdos-503-aristotle-gpt-5-4-pro-1d/#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
- Przemek Chojecki avec Aristotle, GPT-5.4 Pro, selon le wiki IA d'Erdős
annonce du 22 avr. 2026 - Nature
- nouveau résultat
- Domaine
- Mathématiques (problème d'Erdős n°503 (geometry ; distances))
- Classement du wiki
- AI collaborating with humans (IA en collaboration avec des humains ; implication humaine significative)
- Jugement du wiki
- « Argument with major gaps 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 « 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 203 sur 521, par numéro du problème
- Non évalué : Erdős n°499 : formalisation par Aristotle (preuve : Marcus and Minc (1962))
- Non évalué : Erdős n°501 : résultat partiel conditionnel candidat, première partie résolue sous condition, selon le wiki (GPT-5.5 Pro)
- Non évalué : Erdős n°502 : formalisation par Aristotle (preuve : Petrov and Pohoata (2021))
- Contesté : Erdős n°503 : argument jugé gravement lacunaire par le wiki (Aristotle, GPT-5.4 Pro)
- Non évalué : Erdős n°503 : résultat partiel selon le wiki (GPT-5.5 Pro)
- Non évalué : Erdős n°505 : formalisation par Aristotle (preuve : Kahn and Kalai (1993))
- Non évalué : Erdős n°507 : dépassement de constructions antérieures selon le wiki (AlphaEvolve)
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].