Problème du recouvrement minimal d'Erdős : borne supérieure 0,380871 (ancienne 0,380876, TTT-Discover)
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 le problème du recouvrement minimal d'Erdős, Together AI (agents internes) donne une borne supérieure de 0,380871 en mars 2026, contre 0,380876 pour TTT-Discover en janvier 2026 ; 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-erdos-min-overlap-r1
@misc{discoveria-ea-erdos-min-overlap-r1,
author = {{DiscoverIA}},
title = {Problème du recouvrement minimal d'Erdős : borne supérieure 0,380871 (ancienne 0,380876, TTT-Discover)},
howpublished = {Registre DiscoverIA, fiche ea-erdos-min-overlap},
note = {Statut « Non évalué », relevé 1, constaté le 12 octobre 2026. nouveau résultat},
year = {2026},
url = {https://discoveria.ai/fr/fiche/ea-erdos-min-overlap/#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 (agents internes, d'après le dépôt new-SOTA « Ours (Together AI) », mars 2026)
annonce du mars 2026 - Nature
- nouveau résultat
- Domaine
- Mathématiques (combinatoire additive / fonctions en escalier (recouvrement minimal d'Erdős))
- 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 partage des cartes numérotées en deux tas égaux, puis qu'on décale un tas par rapport à l'autre en cherchant à rendre les coïncidences aussi rares que possible, même dans le pire décalage.
Ce que ça change
Si la valeur tient, la meilleure borne supérieure connue baisserait de 0,380876 à 0,380871 ; l'écart est faible. La méthode annoncée par le dépôt est la programmation linéaire séquentielle, sur 600 pas.
Ce qui reste flou
Le vérificateur est un programme public, pas un tiers. Le papier cite SimpleTES (arXiv 2604.19341) à 0,380868, meilleur mais obtenu après ; cette source n'a pas été lue. Au 12 octobre 2026, le classement en ligne affiche 0,3808585748578584 (CodexProLong, 15 août 2026), plus bas que 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 ·
Our internal agents currently hold the best known solution for this upper bound
- 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 partage des cartes numérotées en deux tas égaux, puis qu'on décale un tas par rapport à l'autre en cherchant à rendre les coïncidences aussi rares que possible, même dans le pire décalage.
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)
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].