The Ford–Konyagin–Luca conjecture on prime predecessors (famille 011)
Statut
Non évalué
Constaté le · github.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
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.
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é
BibTeX @misc, clé discoveria-oai-fam-011-fordkonyaginluca-conjecture-prime-r1
@misc{discoveria-oai-fam-011-fordkonyaginluca-conjecture-prime-r1,
author = {{DiscoverIA}},
title = {The Ford–Konyagin–Luca conjecture on prime predecessors (famille 011)},
howpublished = {Registre DiscoverIA, fiche oai-fam-011-fordkonyaginluca-conjecture-prime},
note = {Statut « Non évalué », relevé 1, constaté le 12 octobre 2026. nouveau résultat},
year = {2026},
url = {https://discoveria.ai/fr/fiche/oai-fam-011-fordkonyaginluca-conjecture-prime/#releve-1},
urldate = {2026-10-12}
}Lien daté ouvre ce relevé dans l'historique
Texte produit par un gabarit automatique (pipeline DiscoverIA), le Relu 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.
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 nombres)
- Dans openai/math
- famille 011, section « Number theory », 3 manuscrits datés du 17 sept. 2026
- Preuve Lean
- aucune fournie
- Révisions
- aucune signalée par le revendicateur
- Vérifié par
- aucun vérificateur identifié
- 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
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
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 11 sur 372, par numéro de famille
- Non évalué : The Deligne–Drinfeld conjecture (famille 008)
- Non évalué : Bogomolov–Pop and Milnor K-theoretic reconstruction (famille 009)
- Non évalué : Fontaine–Mazur modularity at the prime 2 and 2-adic pro-modularity (famille 010)
- Non évalué : The Ford–Konyagin–Luca conjecture on prime predecessors (famille 011)
- Non évalué : Independent largest prime factors of consecutive integers (famille 012)
- Non évalué : Ostmann's inverse Goldbach conjecture (famille 013)
- Non évalué : Restricted geometric Langlands, generic Ramanujan and Arthur parameters (famille 014)
Historique du statut
Une seule observation pour l'instant.
- 01
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.
Signaler une erreur ou proposer une source
Merci, votre message est bien parti.
L'envoi a échoué. Réessayez, ou écrivez à [email protected].