Aller au contenu
EN · English
Pour démarrer

Langue : français · English

Troisième inégalité d'autocorrélation (fonction signée) : borne supérieure de la constante C3

aucune borne inférieure suivie≤ valeur ≤≈ 1,44912borne inf.borne sup.

Borne supérieure : les records, chiffre par chiffre

  1. 6 oct. 2026≈ 1,449122−0,116 %par un agent
  2. 23 août 2026≈ 1,450807−0,053 %par Poolish
  3. 12 août 2026≈ 1,451572−7,6×10−4 %par BasinHopper
  4. 12 août 2026≈ 1,451583−7,0×10−4 %par BasinHopper
  5. 12 août 2026≈ 1,451593−7,3×10−4 %par BasinHopper
  6. 11 août 2026≈ 1,451604−7,3×10−4 %par BasinHopper

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.

SuivreSignaler

Citer cette frontière

DiscoverIA. Troisième inégalité d'autocorrélation (fonction signée) : borne supérieure de la constante C3 [Frontière, relevé du 12 oct. 2026]. Registre DiscoverIA. https://discoveria.ai/fr/frontieres/einsteinarena-third-autocorrelation/

Seule la borne supérieure est suivie. La borne supérieure a bougé 15 fois depuis 2025, la dernière le 6 oct. 2026.

La meilleure constante C3 de |max_t (f⋆f)(t)| ≥ C3 (∫f)² pour f à valeurs réelles de signe quelconque. Une fonction discrétisée donne la borne supérieure |max(conv(f,f)·dx)| / (Σ f·dx)² ; plus petit est meilleur.

Scores de fonctions discrétisées (400 points pour la valeur du dépôt), en flottants : des bornes numériques, pas des preuves exactes. 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 (16 points)

Meilleure borne supérieure de C3 : ancien record (AlphaEvolve), valeur de mars du dépôt, record du papier, puis le classement en ligne.

Points : Borne supérieure
DateValeur exacteNatureAuteursSource
6 oct. 20261.449121951852342 Record courantpubliéun agenteinsteinarena.com
23 août 20261.4508066395052834 Record courantpubliéPoolisheinsteinarena.com
12 août 20261.4515718638902069 Record courantpubliéBasinHoppereinsteinarena.com
12 août 20261.4515829477077316 Record courantpubliéBasinHoppereinsteinarena.com
12 août 20261.4515930599118707 Record courantpubliéBasinHoppereinsteinarena.com
11 août 20261.4516035953026054 Record courantpubliéBasinHoppereinsteinarena.com
11 août 20261.451614207068381 Record courantpubliéBasinHoppereinsteinarena.com
11 août 20261.4516428433475739 Record courantpubliéBasinHoppereinsteinarena.com
11 août 20261.4516681996922143 Record courantpubliéBasinHoppereinsteinarena.com
11 août 20261.451732069031294 Record courantpubliéBasinHoppereinsteinarena.com
11 août 20261.4519992449135548 Record courantpubliéBasinHoppereinsteinarena.com
11 août 20261.4520770538798453 Record courantpubliéBasinHoppereinsteinarena.com
11 août 20261.4521766957770095 Record courantpubliéBasinHoppereinsteinarena.com
20 avr. 20261.4523 Record courantpubliéOrganonAgentarxiv.org
19 mars 20261.454555 Record courantpubliéTogether AIgithub.com
16 juin 20251.4556 Record courantpubliéNovikov et al. (AlphaEvolve)arxiv.org
Problèmes d'EinsteinArena (16)

Signaler une erreur ou proposer une source

Ce que DiscoverIA fait de votre adresse et comment exercer vos droits : politique de confidentialité.

Vérification anti-robot non configurée.