Eisenbud–Green–Harris and lex-plus-powers in characteristic zero (famille 200)

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, sans preuve Lean ni 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). Eisenbud–Green–Harris and lex-plus-powers in characteristic zero (famille 200) [Statut : Non évalué, relevé 1]. Registre DiscoverIA. https://discoveria.ai/fr/fiche/oai-fam-200-eisenbudgreenharris-lex-plus-powers/#releve-1

BibTeX @misc, clé discoveria-oai-fam-200-eisenbudgreenharris-lex-plus-powers-r1

@misc{discoveria-oai-fam-200-eisenbudgreenharris-lex-plus-powers-r1,
  author       = {{DiscoverIA}},
  title        = {Eisenbud–Green–Harris and lex-plus-powers in characteristic zero (famille 200)},
  howpublished = {Registre DiscoverIA, fiche oai-fam-200-eisenbudgreenharris-lex-plus-powers},
  note         = {Statut « Non évalué », relevé 1, constaté le 12 octobre 2026. nouveau résultat},
  year         = {2026},
  url          = {https://discoveria.ai/fr/fiche/oai-fam-200-eisenbudgreenharris-lex-plus-powers/#releve-1},
  urldate      = {2026-10-12}
}

Lien daté ouvre ce relevé dans l'historique

https://discoveria.ai/fr/fiche/oai-fam-200-eisenbudgreenharris-lex-plus-powers/#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 (algèbre)
Dans openai/math: famille 200, section « Algebra », 2 manuscrits datés du 23 sept. 2026
Preuve Lean: aucune fournie
Révisions: aucune signalée par le revendicateur
Vérifié par: aucun vérificateur identifié
Sources (domaines): 3 : 3 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 : The Artinian Lex-Plus-Powers Betti Theorem (preprints/The-Artinian-Lex-Plus-Powers-Betti-Theorem-September-23-2026), manuscrit : Commuting Division-Coefficient Forms and the Artinian Eisenbud--Green--Harris Conjecture (preprints/Commuting-Division-Coefficient-Forms-and-the-Artinian-Eisenbud-Green-Harris-Conjecture-September-23-2026), aucun Lean fourni (pas de lean/docs/200.md)

Sources(domaines)

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

DiscoverIA n'a recensé aucune évaluation indépendante à cette date.

Dans le même ensemble

openai/math · entrée 194 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 sans preuve Lean fournie. Aucune évaluation tierce lue.
Source : github.comlu mot pour mot

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