Erdős n°358 : argument jugé gravement lacunaire par le wiki (GPT-5.2 Thinking)

Statut

Contesté

Constaté le 12 oct. 2026 · github.com

Hors du parcours de vérification

13 févr. 2026Annonce
30 juin 2026Wiki figé
12 oct. 2026Constatéretiré
12 oct. 2026Révisécontesté
ensuiteÀ suivre

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

Historique complet

L'essentiel

Le wiki « AI contributions to Erdős problems », figé au 30 juin 2026, recense une contribution d'IA de Nat Sothanaphan avec GPT-5.2 Thinking au problème d'Erdős n°358.

Suivre Signaler

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é 2, 12 oct. 2026

Citation APA avec le lien daté

DiscoverIA. (2026, 12 octobre). Erdős n°358 : argument jugé gravement lacunaire par le wiki (GPT-5.2 Thinking) [Statut : Contesté, relevé 2]. Registre DiscoverIA. https://discoveria.ai/fr/fiche/erdos-358-gpt-5-2-thinking-1d/#releve-2

BibTeX @misc, clé discoveria-erdos-358-gpt-5-2-thinking-1d-r2

@misc{discoveria-erdos-358-gpt-5-2-thinking-1d-r2,
  author       = {{DiscoverIA}},
  title        = {Erdős n°358 : argument jugé gravement lacunaire par le wiki (GPT-5.2 Thinking)},
  howpublished = {Registre DiscoverIA, fiche erdos-358-gpt-5-2-thinking-1d},
  note         = {Statut « Contesté », relevé 2, constaté le 12 octobre 2026. nouveau résultat},
  year         = {2026},
  url          = {https://discoveria.ai/fr/fiche/erdos-358-gpt-5-2-thinking-1d/#releve-2},
  urldate      = {2026-10-12}
}

Lien daté ouvre ce relevé dans l'historique

https://discoveria.ai/fr/fiche/erdos-358-gpt-5-2-thinking-1d/#releve-2

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: Nat Sothanaphan avec GPT-5.2 Thinking, selon le wiki IA d'Erdős
annonce du 13 févr. 2026
Nature: nouveau résultat
Domaine: Mathématiques (problème d'Erdős n°358 (number theory ; additive basis ; primes))
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 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
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 « 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 134 sur 521, par numéro du problème

Voir les 521 entrées

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.

Retiré