Erdős n°93 : formalisation par Aristotle, Claude Opus 4.5, Claude Opus 4.6, Gemini 3 Flash, Gemini 3 Pro, Numina Lean Agent (preuve : Altman (1963))

Statut

Non évalué

Constaté le 12 oct. 2026 · github.com

17 févr. 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°93 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°93 : formalisation par Aristotle, Claude Opus 4.5, Claude Opus 4.6, Gemini 3 Flash, Gemini 3 Pro, Numina Lean Agent (preuve : Altman (1963)) [Statut : Non évalué, relevé 1]. Registre DiscoverIA. https://discoveria.ai/fr/fiche/erdos-93-aristotle-claude-opus-4-5-claude-opus-4-6-2b/#releve-1

BibTeX @misc, clé discoveria-erdos-93-aristotle-claude-opus-4-5-claude-opus-4-6-2b-r1

@misc{discoveria-erdos-93-aristotle-claude-opus-4-5-claude-opus-4-6-2b-r1,
  author       = {{DiscoverIA}},
  title        = {Erdős n°93 : formalisation par Aristotle, Claude Opus 4.5, Claude Opus 4.6, Gemini 3 Flash, Gemini 3 Pro, Numina Lean Agent (preuve : Altman (1963))},
  howpublished = {Registre DiscoverIA, fiche erdos-93-aristotle-claude-opus-4-5-claude-opus-4-6-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-93-aristotle-claude-opus-4-5-claude-opus-4-6-2b/#releve-1},
  urldate      = {2026-10-12}
}

Lien daté ouvre ce relevé dans l'historique

https://discoveria.ai/fr/fiche/erdos-93-aristotle-claude-opus-4-5-claude-opus-4-6-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, Claude Opus 4.5, Claude Opus 4.6, Gemini 3 Flash, Gemini 3 Pro, Numina Lean Agent, selon le wiki IA d'Erdős
annonce du 17 févr. 2026
Nature: formalisation d'un résultat connu
Domaine: Mathématiques (problème d'Erdős n°93 (geometry ; convex ; distances))
Classement du wiki: Formalization (contribution secondaire : formalisation)
Preuve formalisée: celle de Altman
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 36 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.