Erdős n°464 : formalisation par Aristotle (preuve : de Mathan (1980))

Statut

Non évalué

Constaté le 12 oct. 2026 · github.com

21 juin 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 de Aristotle au problème d'Erdős n°464 avec la mention « Formalization ».

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°464 : formalisation par Aristotle (preuve : de Mathan (1980)) [Statut : Non évalué, relevé 1]. Registre DiscoverIA. https://discoveria.ai/fr/fiche/erdos-464-aristotle-2b/#releve-1

BibTeX @misc, clé discoveria-erdos-464-aristotle-2b-r1

@misc{discoveria-erdos-464-aristotle-2b-r1,
  author       = {{DiscoverIA}},
  title        = {Erdős n°464 : formalisation par Aristotle (preuve : de Mathan (1980))},
  howpublished = {Registre DiscoverIA, fiche erdos-464-aristotle-2b},
  note         = {Statut « Non évalué », relevé 1, constaté le 12 octobre 2026. formalisation d'un résultat connu},
  year         = {2026},
  url          = {https://discoveria.ai/fr/fiche/erdos-464-aristotle-2b/#releve-1},
  urldate      = {2026-10-12}
}

Lien daté ouvre ce relevé dans l'historique

https://discoveria.ai/fr/fiche/erdos-464-aristotle-2b/#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: Aristotle, selon le wiki IA d'Erdős
annonce du 21 juin 2026
Nature: formalisation d'un résultat connu
Domaine: Mathématiques (problème d'Erdős n°464 (number theory))
Classement du wiki: Formalization (contribution secondaire : formalisation)
Preuve formalisée: celle de de Mathan
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

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

Nature : formalisation, c'est-à-dire la vérification machine d'un résultat déjà connu, pas une découverte. DiscoverIA n'a recensé aucune évaluation indépendante à cette date.

Dans le même ensemble

AI contributions to Erdős problems · entrée 184 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.