A finitely generated counterexample to Eilenberg–Ganea (famille 249)

Statut

Non évalué

Constaté le 12 oct. 2026 · github.com

6 oct. 2026Annonce
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.

Historique complet

L'essentiel

Résultat de la publication openai/math d'OpenAI du 6 octobre 2026, en mathématiques, avec une preuve Lean fournie par OpenAI et sans vérification par un tiers.

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). A finitely generated counterexample to Eilenberg–Ganea (famille 249) [Statut : Non évalué, relevé 1]. Registre DiscoverIA. https://discoveria.ai/fr/fiche/oai-fam-249-finitely-generated-counterexample/#releve-1

BibTeX @misc, clé discoveria-oai-fam-249-finitely-generated-counterexample-r1

@misc{discoveria-oai-fam-249-finitely-generated-counterexample-r1,
  author       = {{DiscoverIA}},
  title        = {A finitely generated counterexample to Eilenberg–Ganea (famille 249)},
  howpublished = {Registre DiscoverIA, fiche oai-fam-249-finitely-generated-counterexample},
  note         = {Statut « Non évalué », relevé 1, constaté le 12 octobre 2026. nouveau résultat},
  year         = {2026},
  url          = {https://discoveria.ai/fr/fiche/oai-fam-249-finitely-generated-counterexample/#releve-1},
  urldate      = {2026-10-12}
}

Lien daté ouvre ce relevé dans l'historique

https://discoveria.ai/fr/fiche/oai-fam-249-finitely-generated-counterexample/#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: OpenAI (modèle interne non diffusé)
annonce du 6 oct. 2026
Nature: nouveau résultat
Domaine: Mathématiques (théorie des groupes)
Dans openai/math: famille 249, section « Group theory », 1 manuscrit daté du 23 sept. 2026
Preuve Lean: fournie par le revendicateur, marquée « unchecked » (non relue) dans son dépôt
Révisions: aucune signalée par le revendicateur
Vérifié par: revendicateur (Lean fourni, non vérifié par un tiers)
Sources (domaines): 4 : 4 liens seulement
Fait partie de: openai/math : 719 manuscrits (722 au lancement), 372 familles, modèle interne non publié
Cette fiche: Brouillon IA, non relu

Pour les experts

Preuves: manuscrit : A finitely generated counterexample to the Eilenberg–Ganea conjecture (preprints/A-finitely-generated-counterexample-to-the-Eilenberg-Ganea-conjecture-September-23-2026), Lean fourni par le revendicateur : lean/docs/249.md, 1 énoncé(s) Comparator (non vérifié par un tiers)

Sources(domaines)

primairegithub.comlien seulement, lecture non enregistrée
depotgithub.comlien seulement, lecture non enregistrée
leangithub.comlien seulement, lecture non enregistrée
leangithub.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

Aucun tiers nommé : les vérifications recensées viennent du revendicateur ou d'un outil de plateforme. 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

openai/math · entrée 243 sur 372, par numéro de famille

Voir les 372 entrées

Historique du statut

Une seule observation pour l'instant.

0112 oct. 2026
Première observation :Non évaluéStatut actuel
Famille avec une preuve Lean fournie par le revendicateur. Pas de vérification tierce lue ; la source indique que cette preuve n'a pas été relue (« unchecked »).
Source : github.comlu mot pour mot

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