Distances unité planes : la grille finale de l'argument d'OpenAI

aucune borne inférieure suivie≤ valeur ≤32borne inf.borne sup.

Meilleure proposition, pas encore publiée : valeur ≤ 30 (10 oct. 2026, PR n°3)

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.

23 sept. 2026borne sup. 100par OpenAIgithub.com
9 oct. 2026borne sup. 36par rohanarungithub.com
10 oct. 2026borne sup. 32par rohanarunPR n°2
13 oct. 2026Relevé à jour

Borne supérieure · proposition, pas encore publiée · 10 oct. 2026

Valeur exacte : 30

Thirty edges: a joint linear system and bipartite rigidity (6×5, beats 8×4) · PR n°3

par rohanarun

Suivre Signaler

Citer cette frontière

DiscoverIA. Distances unité planes : la grille finale de l'argument d'OpenAI [Frontière, relevé du 13 oct. 2026]. Registre DiscoverIA. https://discoveria.ai/fr/frontieres/distances-unite/

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

Nombre d'arêtes sélectionnées dans le témoin algébrique final (grille complète de N points gauches par j ancres, N·j arêtes) de la preuve d'OpenAI de l'économie de puissance pour les distances unité planes, cas général (rang deux) ; une grille complète d'au moins ce nombre d'arêtes suffit pour la conclusion conditionnelle. Plus petit = meilleure réduction.

Réduction conditionnelle d'une étape de la preuve : elle ne change ni l'exposant 4/3−δ de OpenAI ni ne fournit d'économie de puissance explicite. Les lemmes de grille générique, de passage à hauteur négligeable et de valuations privées de la source restent des hypothèses. Cas de droite : 6×4 = 24 arêtes (un lieu est une droite) et 4×3 = 12 (même droite), que le dépôt traite à part ; une grille 8×4 couvre tous les cas. Les points de PR non fusionnées sont des propositions.

Résultat conditionnel : oui

Annonce liée dans le registre

Non évalué Pinned distances and a power saving for planar unit distances (famille 167)

Chaque pas, en tableau : Borne supérieure (4 points)

Plus petit nombre d'arêtes du témoin final établi (préprint OpenAI, commit initial, puis PR du dépôt suivi).

Points : Borne supérieure
Date	Valeur exacte	Nature	Auteurs	Source
10 oct. 2026	`30`	proposé	rohanarun	PR n°3
10 oct. 2026	`32` Record courant	fusionné	rohanarun	PR n°2
9 oct. 2026	`36` Record courant	fusionné	rohanarun	github.com
23 sept. 2026	`100` Record courant	publié	OpenAI	github.com

Autres problèmes suivis (8)

Distances unité planes : la grille finale de l'argument d'OpenAI

Citer cette frontière

Signaler une erreur ou proposer une source