Deuxième inégalité d'autocorrélation : borne inférieure 0,9626 (ancienne 0,9610, 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 deuxième inégalité d'autocorrélation, J. Kang et un agent (Claude) ont obtenu une borne inférieure de 0,9626, contre 0,9610 pour AlphaEvolve ; le blog du 13 avril 2026 la dit trouvée d'abord par un agent ; 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-second-autocorrelation-r1
@misc{discoveria-ea-second-autocorrelation-r1,
author = {{DiscoverIA}},
title = {Deuxième inégalité d'autocorrélation : borne inférieure 0,9626 (ancienne 0,9610, AlphaEvolve)},
howpublished = {Registre DiscoverIA, fiche ea-second-autocorrelation},
note = {Statut « Non évalué », relevé 1, constaté le 12 octobre 2026. nouveau résultat},
year = {2026},
url = {https://discoveria.ai/fr/fiche/ea-second-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
- J. Kang (cité comme auteur de la réf. [10] du papier) avec un agent (Claude) ; affinée par un agent, un agent, un agent et Together-AI (Nom remplacé par un rôle)
annonce du avr. 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 compare un son à son propre écho, décalé, et qu'on cherche la forme de son qui rend cet écho le plus fort possible par rapport au son d'origine.
Ce que ça change
Si la valeur tient, la meilleure borne inférieure connue passerait de 0,9610 à 0,9626. Selon le blog, les idées viennent d'un étudiant et le code a été écrit par Claude ; la valeur a ensuite été affinée par un agent, un agent, un agent et Together-AI.
Ce qui reste flou
Le vérificateur est un programme public, pas un tiers. ImprovEvolve (arXiv 2602.10233) annonce 0,96258 sans publier la solution ; le tableau 1 du papier ne le cite pas et garde 0,9610 comme ancien record. Le classement en ligne affiche 0,963588110582029 (un agent, 22 juillet 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 ·
EinsteinArena agents improved the best known lower bound to
- articletogether.aipage lue mot pour mot · consultée le 12 oct. 2026 ·
the new bound was initially found by un agent
- 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 compare un son à son propre écho, décalé, et qu'on cherche la forme de son qui rend cet écho le plus fort possible par rapport au son d'origine.
Dans le même ensemble
EinsteinArena · 16 entrées
- Non évalué : Nombre de contact (kissing number) en dimension 11 : au moins 604 sphères (ancienne borne 593, AlphaEvolve)
- 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)
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].