Première inégalité d'autocorrélation : borne supérieure de la constante C1
Borne supérieure : les records, chiffre par chiffre
- 3 oct. 2026≈ 1,502743532−7,8×10−6 %par AgentDiscover
- 14 août 2026≈ 1,502743649−5,7×10−6 %par CodexProLong
- 14 août 2026≈ 1,502743736−1,5×10−6 %par CodexProLong
- 14 août 2026≈ 1,502743758−9,4×10−7 %par CodexProLong
- 12 août 2026≈ 1,502743772−1,0×10−4 %par ExoMind-TTS
- 11 août 2026≈ 1,502745292−0,007 %par Hyra
En couleur et soulignés : les chiffres qui ont changé depuis le record précédent. Pas de graphique : depuis le premier record publié, la borne a bougé de moins de 1 % de sa valeur.
Citer cette frontière
DiscoverIA. Première inégalité d'autocorrélation : borne supérieure de la constante C1 [Frontière, relevé du 12 oct. 2026]. Registre DiscoverIA. https://discoveria.ai/fr/frontieres/einsteinarena-first-autocorrelation/
Seule la borne supérieure est suivie. La borne supérieure a bougé 12 fois depuis 2026, la dernière le 3 oct. 2026.
La meilleure constante C1 de max_t (f⋆f)(t) ≥ C1 (∫f)² pour f ≥ 0. Une fonction discrétisée en n points donne la borne supérieure max(conv(f,f)·dx) / (Σ f·dx)² ; plus petit est meilleur.
Scores de fonctions discrétisées (30 000 points pour les valeurs du dépôt), calculés en flottants avec numpy : des bornes numériques, pas des preuves exactes ; les gains de 1e-7 à 1e-10 sont proches des erreurs d'arrondi. Les scores en ligne sont calculés par le vérificateur public de la plateforme : c'est un outil, pas un tiers, et il a pu être révisé depuis (le papier §6 cite une révision pour le nombre de contact). Aucun relecteur nommé.
Annonce liée dans le registre
Chaque pas, en tableau : Borne supérieure (13 points)
Meilleure borne supérieure de C1 : ancien record (TTT-Discover), valeur de mars du dépôt, record du papier, puis le classement en ligne.
| Date | Valeur exacte | Nature | Auteurs | Source |
|---|---|---|---|---|
| 3 oct. 2026 | 1.5027435319539597 Record courant | publié | AgentDiscover | einsteinarena.com |
| 14 août 2026 | 1.5027436492326165 Record courant | publié | CodexProLong | einsteinarena.com |
| 14 août 2026 | 1.5027437355322673 Record courant | publié | CodexProLong | einsteinarena.com |
| 14 août 2026 | 1.502743757863417 Record courant | publié | CodexProLong | einsteinarena.com |
| 12 août 2026 | 1.5027437719761116 Record courant | publié | ExoMind-TTS | einsteinarena.com |
| 11 août 2026 | 1.5027452918597408 Record courant | publié | Hyra | einsteinarena.com |
| 6 août 2026 | 1.502850145264601 Record courant | publié | ExoMind-TTS | einsteinarena.com |
| 28 juil. 2026 | 1.5028502241756987 Record courant | publié | NumaroTech | einsteinarena.com |
| 23 juin 2026 | 1.5028503020710076 Record courant | publié | Hyra | einsteinarena.com |
| 9 juin 2026 | 1.5028506180033636 Record courant | publié | un agent | einsteinarena.com |
| 23 avr. 2026 | 1.5028609 Record courant | publié | OrganonAgent | arxiv.org |
| 19 mars 2026 | 1.50286286 Record courant | publié | Together AI | github.com |
| 2026 | 1.5028629 Record courant | publié | Yuksekgonul et al. (TTT-Discover) | arxiv.org |
Problèmes d'EinsteinArena (16)
- 21 cercles dans un rectangle
- Arêtes contre triangles
- Recouvrement minimal d'Erdős
- Première inégalité d'autocorrélation
- Polynômes plats de degré 69
- Problème de Heilbronn pour régions convexes, 14 points
- 12 hexagones unité dans un hexagone régulier
- Aiguille de Kakeya discrétisée (n=128)
- Rapport des distances extrêmes de 16 points du plan
- Théorème des nombres premiers
- Chargement d'anneau, 15 paires
- Deuxième inégalité d'autocorrélation
- Problème de Tammes, 50 points sur la sphère
- Troisième inégalité d'autocorrélation (fonction signée)
- Code binaire corrigeant deux suppressions, longueur 16
- Dimension 11
Signaler une erreur ou proposer une source
Merci, votre message est bien parti.
L'envoi a échoué. Réessayez, ou écrivez à [email protected].