Théorème des nombres premiers (borne inférieure de la fonctionnelle de score) : 0,99490 (ancienne 0,92129, AlphaEvolve)
Statut
Non évalué
Constaté le · arxiv.org
- 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
Pour la borne inférieure de la fonctionnelle de score liée au théorème des nombres premiers, Together AI et des agents d'EinsteinArena donnent 0,99490, contre 0,92129 pour AlphaEvolve (juin 2025) ; plus grand est meilleur ; pas encore de statut DiscoverIA.
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-ea-prime-number-theorem-r1
@misc{discoveria-ea-prime-number-theorem-r1,
author = {{DiscoverIA}},
title = {Théorème des nombres premiers (borne inférieure de la fonctionnelle de score) : 0,99490 (ancienne 0,92129, AlphaEvolve)},
howpublished = {Registre DiscoverIA, fiche ea-prime-number-theorem},
note = {Statut « Non évalué », relevé 1, constaté le 12 octobre 2026. nouveau résultat},
year = {2026},
url = {https://discoveria.ai/fr/fiche/ea-prime-number-theorem/#releve-1},
urldate = {2026-10-12}
}Lien daté ouvre ce relevé dans l'historique
Texte rédigé par une IA (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
- Together AI et agents d'EinsteinArena (agent non nommé par la source pour la valeur du papier)
annonce du mars 2026 - Nature
- nouveau résultat
- Domaine
- Mathématiques (théorie des nombres analytique / fonctions partielles et constante liée à pi(x)·log x / x)
- Vérifié par
- vérificateur public de la plateforme (outil) ; aucun tiers nommé
- Sources (domaines)
- 6 : 2 lues mot pour mot, 4 liens seulement
- Fait partie de
- EinsteinArena : plateforme d'agents IA sur problèmes ouverts avec vérificateurs publics (nouveaux records en mathématiques)
- Cette fiche
- Brouillon IA, non relu
Pour comprendre
Analogie
Imaginez qu'on veuille estimer combien de nombres premiers se trouvent jusqu'à une limite donnée, et qu'on resserre l'encadrement à chaque nouvelle règle de calcul proposée.
Ce que ça change
Si la valeur tient, le score d'AlphaEvolve (0,92129, juin 2025) serait dépassé sensiblement, à 0,99490. Le dépôt donnait déjà 0,994179 en mars 2026, avec 1 785 clés.
Ce qui reste flou
Le papier dit avoir choisi ce problème parce que les meilleures solutions humaines connues y sont bien meilleures que celles de l'IA : l'ancien record comparé est celui d'AlphaEvolve, pas le meilleur résultat humain. Le vérificateur est un programme public, pas un tiers. Le classement en ligne affiche 0,9976572852677297 (CodexProLong, 15 août 2026), différent de la valeur du papier.
6 sources.
Pour les experts
Sources(domaines)
- primairearxiv.orgpage lue mot pour mot · consultée le 12 oct. 2026 ·
we additionally report the previous best known result and the current best result
- articletogether.aipage lue mot pour mot · consultée le 12 oct. 2026 ·
we currently have the best known results for the following problems
- depotgithub.comlien seulement, lecture non enregistrée
- depoteinsteinarena.comlien seulement, lecture non enregistrée
- depoteinsteinarena.comlien seulement, lecture non enregistrée
- depoteinsteinarena.comlien seulement, lecture non enregistrée
Méthode
Statut « non évalué » constaté le 12 octobre 2026 sur arxiv.org (page lue, citation relevée mot pour mot).
Limites
Aucun tiers nommé : les vérifications recensées viennent du revendicateur ou d'un outil de plateforme. DiscoverIA n'a recensé aucune évaluation indépendante à cette date.
Imaginez qu'on veuille estimer combien de nombres premiers se trouvent jusqu'à une limite donnée, et qu'on resserre l'encadrement à chaque nouvelle règle de calcul proposée.
Dans le même ensemble
EinsteinArena · 16 entrées
- Non évalué : Troisième inégalité d'autocorrélation : borne supérieure 1,4523 (ancienne 1,4556, AlphaEvolve)
- Non évalué : Polynômes plats de degré 69 : 1,28093 (ancienne 1,34093, AlphaEvolve)
- Non évalué : Rapport distance max / distance min de 16 points du plan : 12,889230 (ancien 12,889266, AlphaEvolve)
- Non évalué : Théorème des nombres premiers (borne inférieure de la fonctionnelle de score) : 0,99490 (ancienne 0,92129, AlphaEvolve)
- Non évalué : 21 cercles dans un rectangle (somme des rayons) : 2,365832255 (ancien 2,365832133, AlphaEvolve)
- Non évalué : Problème de Tammes (50 points sur la sphère) : 0,5134721 (ancien 0,5134719, AlphaEvolve)
- Non évalué : Arêtes contre triangles (densité minimale de triangles) : -0,71171 (ancien -0,71249, AlphaEvolve)
Historique du statut
Une seule observation pour l'instant.
- 01
Première observation :Non évaluéStatut actuel
non évalué : vérificateur public de la plateforme seulement, aucun tiers nommé
Source : arxiv.orglu mot pour mot
Une observation s'ajoute ; aucune ne s'efface.
Frontières liées
Signaler une erreur ou proposer une source
Merci, votre message est bien parti.
L'envoi a échoué. Réessayez, ou écrivez à [email protected].