Selon OpenAI, l'exposant d'irrationalité de π vaut 2 (famille 017)
Statut
Non évalué
Constaté le · raw.githubusercontent.com
- Annonce
- Constaté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.
L'essentiel
Dans sa publication du 6 octobre 2026, OpenAI affirme que l'exposant d'irrationalité de π, qui mesure à quel point des fractions peuvent l'approcher, vaut 2.
Citer cette entrée
Un seul relevé de statut depuis le 11 oct. 2026 : une citation renvoie toujours à un relevé daté.
Citer le relevé 1, 11 oct. 2026
Citation APA avec le lien daté
BibTeX @misc, clé discoveria-oai-fam-017-irrationality-exponent-pi-r1
@misc{discoveria-oai-fam-017-irrationality-exponent-pi-r1,
author = {{DiscoverIA}},
title = {Selon OpenAI, l'exposant d'irrationalité de π vaut 2 (famille 017)},
howpublished = {Registre DiscoverIA, fiche oai-fam-017-irrationality-exponent-pi},
note = {Statut « Non évalué », relevé 1, constaté le 11 octobre 2026. nouveau résultat},
year = {2026},
url = {https://discoveria.ai/fr/fiche/oai-fam-017-irrationality-exponent-pi/#releve-1},
urldate = {2026-10-11}
}Lien daté ouvre ce relevé dans l'historique
Texte rédigé par une IA (pipeline DiscoverIA), le Relu par : Antoine Olivier, 13 oct. 2026Signaler une erreur
Qu'est-ce qui n'est pas relu ?
Le statut et ses sources viennent du registre ; le texte explicatif a été relu par un humain.
Le statut et ses sources viennent du registre ; le texte explicatif a été relu par un humain.
Repères
- Revendiqué par
- OpenAI
annonce du 6 oct. 2026 - Nature
- nouveau résultat
- Domaine
- Mathématiques (théorie des nombres)
- Vérifié par
- aucun vérificateur identifié
- Sources (domaines)
- 1 : 1 liens seulement
- Fait partie de
- openai/math : 719 manuscrits (722 au lancement), 372 familles, modèle interne non publié
- Cette fiche
- Relu par Antoine Olivier, 13 oct. 2026
Pour comprendre
Analogie
Comme des fléchettes visant le centre d'une cible, des fractions s'approchent d'un nombre irrationnel sans jamais l'atteindre. L'exposant d'irrationalité dit quelle précision on peut obtenir avec une infinité de fractions, compte tenu de leur dénominateur, le nombre écrit en bas.
Ce que ça change
Si la preuve tenait, la valeur exacte de cet exposant pour π serait connue, ce qui fixerait la précision que des fractions peuvent atteindre, rapportée à la taille de leur dénominateur.
Ce qui reste flou
Aucune évaluation indépendante n'est recensée, et aucune preuve Lean (vérifiable par ordinateur) n'a été repérée pour ce résultat. Les sources lues ne disent pas où en était la question avant l'annonce.
1 source.
Pour les experts
Sources(domaines)
- primairegithub.comlien seulement, lecture non enregistrée
Méthode
OpenAI publie un manuscrit (preprint) et un résumé du raisonnement du modèle pour la famille 017. La formalisation Lean a été cherchée par titre dans la liste du dépôt : son absence reste donc une estimation. Statut « non évalué » constaté le 11 octobre 2026 sur github.com (page lue, citation relevée mot pour mot).
Limites
DiscoverIA n'a recensé aucune évaluation indépendante à cette date.
Comme des fléchettes visant le centre d'une cible, des fractions s'approchent d'un nombre irrationnel sans jamais l'atteindre.
Dans le même ensemble
openai/math · entrée 17 sur 372, par numéro de famille
- Non évalué : Restricted geometric Langlands, generic Ramanujan and Arthur parameters (famille 014)
- Non évalué : Torus-packet equidistribution in prime, quartic, and sextic degrees (famille 015)
- Non évalué : Zilber–Pink in abelian varieties and the Siegel threefold (famille 016)
- Non évalué : Selon OpenAI, l'exposant d'irrationalité de π vaut 2 (famille 017)
- Non évalué : The Margulis–Platonov conjecture over global fields (famille 018)
- Non évalué : The p-adic section conjecture (famille 019)
- Non évalué : Squarefree quartics and power-free polynomial values (famille 020)
Historique du statut
Une seule observation pour l'instant.
Une observation s'ajoute ; aucune ne s'efface.
Signaler une erreur ou proposer une source
Merci, votre message est bien parti.
L'envoi a échoué. Réessayez, ou écrivez à [email protected].