Aller au contenu
EN · English
Pour démarrer

Nombres de van der Waerden : le coefficient c de la borne inférieure superexponentielle

1/9≤ valeur ≤aucune borne supérieure suivieborne inf.borne sup.
10−5​0,0010,16 octmis à jour le 16 oct. 2026Borne inférieure 1/100000, 23 sept. 2026, OpenAI, publiéeBorne inférieure 1/200, 9 oct. 2026, rohanarun, fusionnéeBorne inférieure 1/193, 9 oct. 2026, rohanarun, fusionnéeBorne inférieure 1/25, 10 oct. 2026, rohanarun, fusionnéeBorne inférieure 1/19, 14 oct. 2026, artuskg, fusionnéeBorne inférieure 1/16, 14 oct. 2026, DaysSky, fusionnéeBorne inférieure 1/9, 14 oct. 2026, DaysSky, fusionnée1/9inf.10−5​0,0010,127 sept2 oct7 oct12 octmis à jour le 16 oct. 2026Borne inférieure 1/100000, 23 sept. 2026, OpenAI, publiéeBorne inférieure 1/200, 9 oct. 2026, rohanarun, fusionnéeBorne inférieure 1/193, 9 oct. 2026, rohanarun, fusionnéeBorne inférieure 1/25, 10 oct. 2026, rohanarun, fusionnéeBorne inférieure 1/19, 14 oct. 2026, artuskg, fusionnéeBorne inférieure 1/16, 14 oct. 2026, DaysSky, fusionnéeBorne inférieure 1/9, 14 oct. 2026, DaysSky, fusionnée1/9borne inf.
Un seul côté est suivi : il n'y a pas d'espace entre deux bornes à colorier.Survolez ou parcourez les points au clavier ; un clic ouvre la PR, le commit ou la page source.Touchez un point pour lire sa source ; touchez-le de nouveau pour ouvrir la PR ou la page.
  1. borne inf. ≈ 0,052632par artuskgPR n°4
  2. borne inf. 0,062500par DaysSkyPR n°6
  3. borne inf. ≈ 0,11111par DaysSkyPR n°7
  4. Relevé à jour
Borne inférieure · fusionnée · 14 oct. 2026
Valeur exacte : 1/9
Count by digit rank and short-period runs: conditional coefficient 1/9 (~11111x the source, every c < 1/8) · PR n°7
par DaysSky
SuivreSignaler

Citer cette frontière

DiscoverIA. Nombres de van der Waerden : le coefficient c de la borne inférieure superexponentielle [Frontière, relevé du 16 oct. 2026]. Registre DiscoverIA. https://discoveria.ai/fr/frontieres/van-der-waerden/

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

c tel que W_r(k) > k^(c·k·⌊log₂ r⌋) pour tout k ≥ K₀ et tout entier r ≥ 2 (seuil K₀ indépendant de r) ; une preuve donne une borne inférieure du meilleur c. OpenAI : c = 10^−5.

Valeurs du dépôt conditionnelles aux arguments géométriques et de comptage du préprint d'OpenAI ; ni relecture mathématique indépendante, ni preuve formelle. Aucun coloriage fini explicite ni amélioration de temps de calcul n'en découle, et le seuil K₀ peut être très grand. 1/24 est un plafond de l'architecture « key-flip » du dépôt et de la source (annotation, pas une borne) ; la PR #4 le dépasse en changeant le gabarit.

Résultat conditionnel : oui

Annonce liée dans le registre

Chaque pas, en tableau : Borne inférieure (7 points)

Plus grand coefficient c établi (préprint OpenAI, commit initial, puis PR du dépôt suivi).

Points : Borne inférieure
DateValeur exacteNatureAuteursSource
14 oct. 20261/9 Record courantfusionnéDaysSkyPR n°7
14 oct. 20261/16 Record courantfusionnéDaysSkyPR n°6
14 oct. 20261/19 Record courantfusionnéartuskgPR n°4
10 oct. 20261/25 Record courantfusionnérohanarunPR n°2
9 oct. 20261/193 Record courantfusionnérohanarunPR n°1
9 oct. 20261/200 Record courantfusionnérohanarungithub.com
23 sept. 20261/100000 Record courantpubliéOpenAIgithub.com
Autres problèmes suivis (8)

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.