Erdős n°610 : solution complète avec preuve Lean, déjà implicite dans la littérature, selon le wiki (Aristotle, GPT-5.4 Pro)

Statut

Non évalué

Constaté le 12 oct. 2026 · github.com

21 avr. 2026Annonce
30 juin 2026Wiki figé
12 oct. 2026Constaténon évalué
ensuiteÀ suivre

Ce que veut dire ce statut

Lecture de la source : Source lue mot pour mot (niveau 3 sur 3)

Pas encore de statut DiscoverIA ; cela ne veut pas dire que personne n'a vérifié.

Pour passer « En examen » : un examen public en cours. Pour « Relu par des pairs » : une publication en revue ou une relecture par des experts nommés.

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 au problème d'Erdős n°610 avec la mention « Full solution (Lean) (implicit in literature) ».

Suivre Signaler

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é

DiscoverIA. (2026, 12 octobre). Erdős n°610 : solution complète avec preuve Lean, déjà implicite dans la littérature, selon le wiki (Aristotle, GPT-5.4 Pro) [Statut : Non évalué, relevé 1]. Registre DiscoverIA. https://discoveria.ai/fr/fiche/erdos-610-aristotle-gpt-5-4-pro-1d/#releve-1

BibTeX @misc, clé discoveria-erdos-610-aristotle-gpt-5-4-pro-1d-r1

@misc{discoveria-erdos-610-aristotle-gpt-5-4-pro-1d-r1,
  author       = {{DiscoverIA}},
  title        = {Erdős n°610 : solution complète avec preuve Lean, déjà implicite dans la littérature, selon le wiki (Aristotle, GPT-5.4 Pro)},
  howpublished = {Registre DiscoverIA, fiche erdos-610-aristotle-gpt-5-4-pro-1d},
  note         = {Statut « Non évalué », relevé 1, constaté le 12 octobre 2026. nouveau résultat},
  year         = {2026},
  url          = {https://discoveria.ai/fr/fiche/erdos-610-aristotle-gpt-5-4-pro-1d/#releve-1},
  urldate      = {2026-10-12}
}

Lien daté ouvre ce relevé dans l'historique

https://discoveria.ai/fr/fiche/erdos-610-aristotle-gpt-5-4-pro-1d/#releve-1

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: Przemek Chojecki avec Aristotle, GPT-5.4 Pro, selon le wiki IA d'Erdős
annonce du 21 avr. 2026
Nature: nouveau résultat
Domaine: Mathématiques (problème d'Erdős n°610 (graph theory))
Classement du wiki: AI collaborating with humans (IA en collaboration avec des humains ; implication humaine significative)
Jugement du wiki: « Full solution (Lean) (implicit in literature) » : 🟢 résolution complète (légende du wiki)
Selon erdosproblems.com: problème prouvé, preuve formalisée en Lean (relevé du 12 oct. 2026)
Vérifié par: aucun vérificateur identifié
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

Preuves: Preuve Lean indiquée par le wiki, vérificateur tiers non nommé

Sources(domaines)

primairegithub.compage lue mot pour mot · consultée le 12 oct. 2026
listeerdosproblems.comlien seulement, lecture non enregistrée

Méthode

Statut « non évalué » constaté le 12 octobre 2026 sur github.com (page lue, citation relevée mot pour mot).

Limites

Une preuve Lean fournie par le revendicateur ne vaut pas vérification formelle par un tiers. DiscoverIA n'a recensé aucune évaluation indépendante à cette date.

Dans le même ensemble

AI contributions to Erdős problems · entrée 240 sur 521, par numéro du problème

Voir les 521 entrées

Historique du statut

Une seule observation pour l'instant.

0112 oct. 2026
Première observation :Non évaluéStatut actuel
Source : github.comlu mot pour mot

Une observation s'ajoute ; aucune ne s'efface.