Dimension-free logarithmic Sobolev inequality for subgaussian log-concave measures (famille 093)

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). Dimension-free logarithmic Sobolev inequality for subgaussian log-concave measures (famille 093) [Statut : Non évalué, relevé 1]. Registre DiscoverIA. https://discoveria.ai/fr/fiche/oai-fam-093-dimension-free-logarithmic-sobolev/#releve-1

BibTeX @misc, clé discoveria-oai-fam-093-dimension-free-logarithmic-sobolev-r1

@misc{discoveria-oai-fam-093-dimension-free-logarithmic-sobolev-r1,
  author       = {{DiscoverIA}},
  title        = {Dimension-free logarithmic Sobolev inequality for subgaussian log-concave measures (famille 093)},
  howpublished = {Registre DiscoverIA, fiche oai-fam-093-dimension-free-logarithmic-sobolev},
  note         = {Statut « Non évalué », relevé 1, constaté le 12 octobre 2026. nouveau résultat},
  year         = {2026},
  url          = {https://discoveria.ai/fr/fiche/oai-fam-093-dimension-free-logarithmic-sobolev/#releve-1},
  urldate      = {2026-10-12}
}

Lien daté ouvre ce relevé dans l'historique

https://discoveria.ai/fr/fiche/oai-fam-093-dimension-free-logarithmic-sobolev/#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 convexe et métrique)
Dans openai/math: famille 093, section « Convex and metric geometry », 1 manuscrit daté 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): 2 : 2 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 dimension-free logarithmic Sobolev inequality for subgaussian log-concave measures (preprints/A-dimension-free-logarithmic-Sobolev-inequality-for-subgaussian-log-concave-measures-September-23-2026), aucun Lean fourni (pas de lean/docs/093.md)

Sources(domaines)

primairegithub.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 90 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.