Log abundance and effective Iitaka fibrations (famille 034)

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). Log abundance and effective Iitaka fibrations (famille 034) [Statut : Non évalué, relevé 1]. Registre DiscoverIA. https://discoveria.ai/fr/fiche/oai-fam-034-log-abundance-effective-iitaka-fibrations/#releve-1

BibTeX @misc, clé discoveria-oai-fam-034-log-abundance-effective-iitaka-fibrations-r1

@misc{discoveria-oai-fam-034-log-abundance-effective-iitaka-fibrations-r1,
  author       = {{DiscoverIA}},
  title        = {Log abundance and effective Iitaka fibrations (famille 034)},
  howpublished = {Registre DiscoverIA, fiche oai-fam-034-log-abundance-effective-iitaka-fibrations},
  note         = {Statut « Non évalué », relevé 1, constaté le 12 octobre 2026. nouveau résultat},
  year         = {2026},
  url          = {https://discoveria.ai/fr/fiche/oai-fam-034-log-abundance-effective-iitaka-fibrations/#releve-1},
  urldate      = {2026-10-12}
}

Lien daté ouvre ce relevé dans l'historique

https://discoveria.ai/fr/fiche/oai-fam-034-log-abundance-effective-iitaka-fibrations/#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 (géométrie algébrique et complexe)
Dans openai/math: famille 034, section « Algebraic and complex geometry », 14 manuscrits datés du 24 sept. 2026
Preuve Lean: aucune fournie
Vérifié par: aucun vérificateur identifié
Sources (domaines): 15 : 15 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 : Log abundance for compact Kähler spaces under logarithmic Iitaka subadditivity (preprints/Log-abundance-for-compact-Kahler-spaces-under-logarithmic-Iitaka-subadditivity-October-6-2026), manuscrit : Uniform indices for semi-log-canonical log Calabi–Yau pairs (preprints/Uniform-indices-for-semi-log-canonical-log-Calabi-Yau-pairs-October-5-2026), manuscrit : Conditional good minimal models for compact Kähler fourfolds (preprints/Conditional-good-minimal-models-for-compact-Kahler-fourfolds-October-6-2026), manuscrit : Log abundance in characteristic zero (preprints/Log-abundance-in-characteristic-zero-September-24-2026), manuscrit : Minimal metrics and interior injectivity for nef adjoints (preprints/Minimal-metrics-and-interior-injectivity-for-nef-adjoints-September-27-2026), manuscrit : Fourfold nonvanishing by minimal metrics and moving jets (preprints/Fourfold-nonvanishing-by-minimal-metrics-and-moving-jets-September-27-2026), manuscrit : Lifting sections from the reduced support of an adjoint (preprints/Lifting-sections-from-the-reduced-support-of-an-adjoint-September-27-2026), manuscrit : Schnell fiber spaces and good canonical models (preprints/Schnell-fiber-spaces-and-good-canonical-models-September-24-2026), manuscrit : Uniform log Iitaka fibrations and bounded moduli denominators (preprints/Uniform-log-Iitaka-fibrations-and-bounded-moduli-denominators-October-4-2026), manuscrit : Uniform Pluricanonical Iitaka Fibrations (preprints/Uniform-Pluricanonical-Iitaka-Fibrations-October-3-2026), manuscrit : Relative denominators and effective systems for log Calabi-Yau fibrations (preprints/Relative-denominators-and-effective-systems-for-log-Calabi-Yau-fibrations-September-27-2026), manuscrit : Arithmetic Stein-degree bounds for log Calabi–Yau pairs (preprints/Arithmetic-Stein-degree-bounds-for-log-Calabi-Yau-pairs-September-25-2026), manuscrit : Uniform effective log Iitaka fibrations for fourfolds (preprints/Uniform-effective-log-Iitaka-fibrations-for-fourfolds-September-26-2026), manuscrit : Abundance after nonvanishing for compact Kähler fourfolds (preprints/Abundance-after-nonvanishing-for-compact-Kahler-fourfolds-September-27-2026), aucun Lean fourni (pas de lean/docs/034.md)

Sources(domaines)

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