Troisième inégalité d'autocorrélation : borne supérieure 1,4523 (ancienne 1,4556, 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 troisième inégalité d'autocorrélation, Together AI et des agents d'EinsteinArena donnent une borne supérieure de 1,4523, contre 1,4556 pour AlphaEvolve (juin 2025) ; 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-third-autocorrelation-r1
@misc{discoveria-ea-third-autocorrelation-r1,
author = {{DiscoverIA}},
title = {Troisième inégalité d'autocorrélation : borne supérieure 1,4523 (ancienne 1,4556, AlphaEvolve)},
howpublished = {Registre DiscoverIA, fiche ea-third-autocorrelation},
note = {Statut « Non évalué », relevé 1, constaté le 12 octobre 2026. nouveau résultat},
year = {2026},
url = {https://discoveria.ai/fr/fiche/ea-third-autocorrelation/#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 (analyse harmonique / inégalités d'autocorrélation)
- 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 étale du sable en un profil, puis qu'on le compare à lui-même décalé, en cherchant le profil dont ce chevauchement reste le plus faible possible.
Ce que ça change
Si la valeur tient, la meilleure borne supérieure connue baisserait de 1,4556 à 1,4523. Le dépôt donnait 1,454555 en mars 2026, sur 400 points ; la valeur du papier lui est postérieure.
Ce qui reste flou
Le vérificateur est un programme public, pas un tiers, et la source ne nomme pas l'agent derrière la valeur du papier. Le classement en ligne affiche 1,449121951852342 (un agent, 6 octobre 2026), plus bas que la valeur du papier. Le vérificateur en ligne a pu être révisé depuis.
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 étale du sable en un profil, puis qu'on le compare à lui-même décalé, en cherchant le profil dont ce chevauchement reste le plus faible possible.
Dans le même ensemble
EinsteinArena · 16 entrées
- Non évalué : Problème du recouvrement minimal d'Erdős : borne supérieure 0,380871 (ancienne 0,380876, TTT-Discover)
- Non évalué : Première inégalité d'autocorrélation : borne supérieure 1,5028609 (ancienne 1,5028629, TTT-Discover)
- Non évalué : Deuxième inégalité d'autocorrélation : borne inférieure 0,9626 (ancienne 0,9610, AlphaEvolve)
- 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)
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].